Build logical theories for SAT solvers on the fly
QuMuLab/bauhaus
(9b0d3df0e1f77e31f8f07e13f15d77d9091ec282)