hybrid-boolean-constraints
There are 0 repository under hybrid-boolean-constraints topic.
/ FourierSAT
A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.
Language:Python 11
There are 0 repository under hybrid-boolean-constraints topic.
A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.