vardigroup / FourierSATLinks

A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.
12Updated 10 months ago

Alternatives and similar repositories for FourierSAT

Users that are interested in FourierSAT are comparing it to the libraries listed below

Sorting: