Popular repositories

1. TensorOrder TensorOrder Public

   A tool for weighted model counting through tensor network contraction

   Python 20 2

2. lisa lisa Public

   Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space representation.

   C++ 12 4

3. FourierSAT FourierSAT Public

   A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.

   Python 11

4. ADDMC ADDMC Public

   An exact weighted model counter based on algebraic decision diagrams

   C++ 10 1

5. DPMC DPMC Public

   DPMC/ProCount is a dynamic-programming framework for exact weighted (projected) model counting

   C++ 4 3

6. GradSAT GradSAT Public

   C 3