List is sorted by rating
Rating (?)
Tweets (*)
pr *
3.8
(si*)
>10
6
  • SAT Live!
  • www.satlive.org
  • A collection of up-to-date links about the satisfiability problem (solvers, benchmarks, articles). A discussion forum is available as well.
3.4
(si*)
<5
6
  • SATLIB - The Satisfiability Library
  • www.satlib.org
  • A collection of benchmark problems, solvers, and tools. Provides a uniform test-bed for SAT solvers as well as a site for collecting SAT problem instances, algorithms, and empirical characterisations of the algorithms' performance.
3.3
(si*)
-
5
3.3
(si*)
-
5