search

Paradoxika / Skeptik

A library for Proof Theory (especially Proof Compression) in Scala.
33 stars 25 forks source link

Output format for "smt2" is wrong #98

Open ceilican opened 11 years ago

ceilican commented 11 years ago

Formulas are being output according to the skeptik format.