Skip to content

Latest commit

 

History

History
17 lines (13 loc) · 326 Bytes

CHANGES.md

File metadata and controls

17 lines (13 loc) · 326 Bytes

Changes

clingox 1.2.0

  • make compatible with clingo 5.6
  • add module to ease unit testing
  • add pretty printing module
  • extend AST module

clingox 1.1.0

  • add a new module to reify programs (#9)
  • add a new function to reify atoms (#10)

clingox 1.0.1

  • fix dependency problem

clingox 1.0.0

  • initial release