Skip to content

0.3 Release
Compare
Choose a tag to compare
@Gbury Gbury released this 21 Nov 01:46
· 531 commits to master since this release
v0.3
0d6548a

Release of the version 0.3 of Dolmen. Changes include:

  • a new clause statement
  • fix the pack to add some missing modules
  • better parsing for tptp (statements, namespaces)
  • updated the zf parser
  • expose some more auto-detection logic in the Logic functor
Assets 2
Loading