clingo-rs version 0.7.0

This release updates to use clingo 5.5.0 via clingo-sys to 0.7.0

clingo-rs 0.6.0

• refactor ClingoError
• use clingo-sys 0.5.1 which includes clingo via git submodule

update to clingo 5.4.0

Changed

• use clingo-sys 0.5.0
• improve API added functions for the AST
• correct lifetime of objects

dynlib

• added the possiblibity to create HeadLiterals ast::HeadLiteral::new()
• added clingo::ToSymbol trait
• added clingo::FactBase
• added method clingo::Control.add_facts(fb:FactBase)
• added Iterators for AllModels and AllOptimalModels
• enable dynamic linking of a shared clingo library

clingo-5.3.0

v0.4.0

add release date