Hi, Attached is a tool I developed to help solve propositional logic for my research. It is based upon MiniSAT (hence jasper@ in CC).I don't know if we have any prop logic pros on list? I would appreciate feedback.
Anyway here is the port. OK? -- Best Regards Edd Barrett http://www.theunixzoo.co.uk
logic2cnf-port.tgz
Description: application/tar-gz