NEWS

Version 1.2

  * added CMake build system for more fine-grained
    compile-time options
  * added support for cross compilation to Windows
  * made generated assignments from Windows and
    Linux be equal to make checking assignments as
    easier for tutors

Version 1.1

  * 'configure.sh' allows to select SAT solver

Version 1

  * new support for PicoSAT and Lingeling
  * removed support for Limmat

Version 0.3
  
  * added right to left implication ('<-')

Version 0.2

  * fixed toplevel pretty printer

Version 0.1
  
  * compatibility with input language of heerhugo
  * delayed instantiation of solver
  * removed another double syntax error
  * fixed '! basic' to '! not' in parser
  * added the 'dimacs2boole' utility
  * fixed test suite to suceed even under 'root'