basic-sat

Home
Blog
Projects
Research
CV

basic-sat

BasicSAT is a DPLL-based SAT solver.

API Documentation
basic-sat
bsat
logic
_logic
grammar
_lexer
_parser
parsetab
identities
laws
norm
_norm
solvers
_solvers
dpll
utils

Except as otherwise noted, the content of this page is licensed under Creative Commons Attribution 4.0 International License, and the code samples are licensed under MIT License.

This website is a personal portfolio and research hub for Saif Khan. All projects and research published on this website are original work by Saif Khan, unless otherwise specified. Any collaborators or external sources used are clearly identified. If you would like some content to be removed from this website, reach out to us through the contact page or by writing an email to admin@saifkhichi.com. Please include a brief explanation of why you think the content should be removed.

This page was last updated on

Home
Blog
Projects
Research
CV