Pinned Loading

1. vardigroup/FourierSAT vardigroup/FourierSAT Public

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

   Python 12

2. Valiants-Algorithm-for-Learning-CNF-formulas Valiants-Algorithm-for-Learning-CNF-formulas Public

   Python

3. DPMaxSAT DPMaxSAT Public

   A symbolic generalized MaxSAT solver based on dynamic programming

   C++ 1 1

4. vardigroup/GradSAT vardigroup/GradSAT Public

   C 4

5. MixingPP MixingPP Public

   An accelerated version of the Mixing Method, an SDP-based MaxSAT/MaxCut Solver

   C

6. PMVC PMVC Public

   Python 2