All notable changes to this project will be documented in this file.
- Update to clingo-sys-0.7.2 (clingo 5.6.2)
- Remove functions to create csp terms from the ast module
- Introduce GenericControl with parameter ControlCtx
- Fix issue with too lax dedendencies
- Fix issues with documentaion on docs.rs
- Add Theory trait
- Control::solve() now consumes the control object and returns a SolveHandle
- SolveHandle::close() consumes the solve handle and returns the corresponding Control object
- Properly use solve event data
- Remove SolveEventType
- Add SolveEvent
- Change SolveEventHandler::on_solve_event(...)
- Return &'static str for internalized strings in
- Location::begin_file()
- Location::end_file()
- Signature::name()
- Symbol::name()
- Symbol::string()
- Add FromSymbol trait
- Update clingo-sys to 0.5.2
- Add functions to PropagateInit
- PropagateInit::add_literal()
- PropagateInit::add_weight_constraint()
- PropagateInit::add_minimize()
- PropagateInit::propagate()
- Remove Control::use_enumeration_assumption() from Control
- Add Control::get_enable_enumeration_assumption()
- Add Control::set_enable_enumeration_assumption()
- Add Control::get_enable_cleanup()
- Add Control::set_enable_cleanup()
Changed:
- Refactor ClingoError
- Update to clingo-sys 0.5.1 which includes clingo via git submodule
Changed:
- Use clingo-sys 0.5.0
- Add functions for the AST
- Fix lifetime of objects
Fixed:
- Remove optimality check from AllModels Iterator
Added:
- Add the possiblibity to create HeadLiterals ast::HeadLiteral::new()
- Add clingo::ToSymbol trait
- Add clingo::FactBase
- Add method clingo::Control.add_facts(fb:FactBase)
- Add Iterators for AllModels and AllOptimalModels
- Add dynamic linking of a shared clingo library
Fixed:
- Removed copy derive for opaque types
Changed:
- Use libclingo 5.3.0
- Use rust stable
Added:
- Add tests
- Add this CHANGELOG file
- 0.3.1 Apr 11, 2018
- 0.3.0 Apr 11, 2018
- 0.1.0 May 4, 2017