Skip to content

0.2 Release

Compare
Choose a tag to compare
@Gbury Gbury released this 24 Nov 16:38
· 552 commits to master since this release

Release of the version 0.2 of Dolmen. Changes include:

  • A major bugfix for dimacs parsing
  • Added parser for iCNF language