New answers tagged

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