×

LearnSAT

swMATH ID: 7409
Software Authors: Ben-Ari, Mordechai (Moti)
Description: Learnsat: a SAT solver for education The extensive research on SAT solving and the development of software for applications have not been matched by the development of educational materials for introducing students to this field. LearnSAT is a SAT solver designed for educational purposes. It implements the DPLL algorithm with CDCL and NCB. LearnSAT produces detailed output of the execution of the algorithms. It generates assignment trees and the implication graphs of CDCL which are rendered by dot. LearnSAT is written in Prolog so that the algorithms are concise and easy to read.
Homepage: http://link.springer.com/content/pdf/10.1007%2F978-3-642-39071-5_30.pdf
Keywords: education; CDCL SAT solver; prolog
Related Software:
Cited in: 0 Documents

Standard Articles

1 Publication describing the Software Year
Learnsat: a SAT solver for education
Ben-Ari, Mordechai (Moti)
2013