|
Neohapsis is currently accepting applications for employment. For more information, please visit our website www.neohapsis.com or email hr@neohapsis.com |
NEW: logic2cnf
From: Edd Barrett (vext01
gmail.com)
Date: Wed Aug 18 2010 - 05:53:24 CDT
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
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
- application/x-tar-gz attachment: stored
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]