semprop
Submitter: | Letz | ||
Description: | Devised by Reinhold Letz, it is a search-based solver written in Bigloo (a dialect of Scheme), featuring dependency directed backtracking and lemma/model caching for false/true subproblems. | ||
Results: | |||
Submitter: | Letz | ||
Description: | Devised by Reinhold Letz, it is a search-based solver written in Bigloo (a dialect of Scheme), featuring dependency directed backtracking and lemma/model caching for false/true subproblems. | ||
Results: | |||