Popular repositories Loading

1. pytyped pytyped Public

   A set of Python packages to enable as much type-driven development as possible in Python, i.e., start with defining your type and let repetitive mundane tasks be automated.

   Python 5 2

2. qbf2sts qbf2sts Public

   Converts Quantified Boolean Formulas to SAT-to-SAT instances.

   C++ 2

3. sat-to-sat sat-to-sat Public

   SAT-to-SAT is a specializable nested SAT solver whose expressive power is equivalent to that of Quantified Boolean Formulas.

   C++

4. minisat minisat Public

   Forked from niklasso/minisat

   A minimalistic and high-performance SAT solver

   C++

5. teyjus teyjus Public

   Forked from teyjus/teyjus

   An efficient implementation of the higher-order logic programming language Lambda Prolog

   C

6. makam makam Public

   Forked from astampoulis/makam

   The Makam Metalanguage

   OCaml