Popular repositories Loading

1. glulx-llvm glulx-llvm Public

   An experimental LLVM backend for the Glulx VM, and associated tools.

   C 8 1

2. counting-benchmarks counting-benchmarks Public

   A collection of model counting (#SAT) benchmarks.

   Python 4 2

3. maxcount maxcount Public

   An approximate Max#SAT solver.

   Python 4 4

4. rci rci Public

   Reactive control improvisation implementation.

   Mathematica

5. hypothesis-cfg hypothesis-cfg Public

   Forked from mvcisback/hypothesis-cfg

   Generate random elements of a language defined by a context free grammar.

   Python

6. VerifAI VerifAI Public

   Forked from BerkeleyLearnVerify/VerifAI

   Python