Popular repositories Loading

1. TensorOrder TensorOrder Public

   A tool for weighted model counting through tensor network contraction

   Python 22 3

2. FourierSAT FourierSAT Public

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

   Python 12 1

3. 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

4. ADDMC ADDMC Public

   An exact weighted model counter based on algebraic decision diagrams

   C++ 10 2

5. DPMC DPMC Public

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

   C++ 5 3

6. GradSAT GradSAT Public

   C 5