New answers tagged sat
0
Glucose is a very efficient SAT solver developed at university of Bordeaux.
https://www.labri.fr/perso/lsimon/glucose/
0
Here is one called tensorCSP and based on a tool called tensor networks. It is explained in this paper.
Top 50 recent answers are included
