Neohapsis is currently accepting applications for employment. For more information, please visit our website www.neohapsis.com or email email@example.com
From: Edd Barrett (vext01gmail.com)
Date: Wed Aug 18 2010 - 05:53:24 CDT
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?
- application/x-tar-gz attachment: stored