Vardi's Group

Popular repositories Loading

1. TensorOrder TensorOrderPublic

   A tool for weighted model counting through tensor network contraction

   Python 21 3

2. lisa lisaPublic

   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++ 13 5

3. FourierSAT FourierSATPublic

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

   Python 12 1

4. ADDMC ADDMCPublic

   An exact weighted model counter based on algebraic decision diagrams

   C++ 10 5

5. DPMC DPMCPublic

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

   C++ 6 3

6. GradSAT GradSATPublic

   C 5