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'