arminbiere/cadical

arminbiere/cadical: arminbiere/cadical may be useful when its README and activity match a concrete workflow.. Use it for Misc. Medium: useful for prototypes or