hub.darcs.net :: kyagrd

kyagrd's repositories

• logic-TPTP — Import, export etc. for TPTP, a syntax for first-order logic
• Ordinals — Ordinals up to epsilon_0
• yices — inter process communication interface to Yices SMT solver via unix pipe