v0.3.0-beta.2

What's Changed

• Add acknowledgements by @ellmau in #55
• Fix link location in all readme files for KBS by @ellmau in #57
• Bump clap from 3.1.8 to 3.1.14 by @dependabot in #59
• Bump serde from 1.0.136 to 1.0.137 by @dependabot in #58
• Bump serde_json from 1.0.79 to 1.0.80 by @dependabot in #60
• Add badges to readme by @ellmau in #61
• Add CI for develop branch by @ellmau in #62
• Use nix-envrc, Bump flake by @ellmau in #66
• Bump flake and update to rust 1.61 by @ellmau in #67
• Bump clap from 3.1.14 to 3.1.18 by @dependabot in #68
• Bump serde_json from 1.0.81 to 1.0.82 by @dependabot in #77
• Bump clap from 3.1.18 to 3.2.2 -> 3.2.12 by @dependabot in #78
• Create combine-prs.yml by @ellmau in #86
• milestone/nogoods by @ellmau in #74
• Prepare files to publish the adf-bdd-bin package by @ellmau in #89
• Update build.yml by @ellmau in #91
• Rust 1.61 conformity by @ellmau in #92

Full Changelog: v0.2.4-beta.1...v0.3.0-beta.2

v0.2.4-beta.1

What's Changed

• Feature/issue 30 facet counting by @drwadu in #31
• Feature/issue 37 model counts4stable models by @ellmau in #38
• Feature/issue 39 counting model improvements by @ellmau in #42
• Feature/multiple heuristics by @ellmau in #48
• Polish documentation by @ellmau in #51
• Update crates.io usage for the binary by @ellmau in #53

New Contributors

• @drwadu made their first contribution in #31
• @dependabot made their first contribution in #46

Full Changelog: v0.2.1-beta.1...v0.2.4-beta.1

0.2.1 With optimizations, counting, and distinct lib/bin distinction

What's Changed

• 0.2.0 optimisations by @ellmau in #19
• ADD counting of (counter) models and variables of one BDD-Tree by @ellmau in #21
• Feature/issue 22 extra binary by @ellmau in #24

Full Changelog: v0.2.0-beta.1...v0.2.1-beta.1

Beta-state reached with 3 computation models (state-of-the-art, naive, hybrid)

State of the art BDD library, naive implementation, and Hybrid-approach available in the first beta-release version 0.2.0

• ADD biodivine as an obdd library to adf-obdd

• Implement restrict-wrapper on Biodivine

• Testcases changed to use biodivine for grounded.

• API unified

• ADD stable and complete with biodivine

• ADD biodivine -> naive translation

• ADD hybrid approach
  instantiation + grounded by biodivine, then naive approach with memoization

• TIDY Readme, doc, tests

Complete Models Bug Fixed

• BUGFIX three valued interpretations and complete interpretations (#16)

  A couple of bugs have been identified, where the complete interpretation either identified too many interpretations as being complete (bug in complete_iter) or too less interpretations (bug in ThreeValuedInterpretationsIterator)

  They are fixed now

ADF-BDD can now do complete models

Implement complete models with lazy evaluated iterators

Reworked CLI with import/export commands

Implement non-deprecated cli with structopts and adf-state-safer (#14)

Rework of the CLI methods.

Added import/export functionality for ADFs in BDD representation (via JSON serialisation)

ADF-BDD can now do stable models

Implements #12

• Implement Stable Models based on lazy evaluated iterators
• Adjustment of the internal computation of the grounded interpretation
• Update build.rs to replace "@" in test-instance names with "at"
• Implement de-/serialization of the adf (in OBDD representation) in library
• Implement better tests
• Add more style-restrictions to compiler

Reworked Parser and Data-Model

• Implementing nom-based parser (#5)

  • Implemented a nom-based parser to read the adf
  • Grounded semantics (naive) re-implemented
  • Docs added
  • Updated Cargo.toml with more Manifest information
  • Version update
  • Added sort-methods to the parser, so the var-order can be adjusted
  • Added sort functionality to the main function
  • Added adf-instances as a submodule to the res-folder
  • Added README information for the extended integration tests
  • Rewritten main-function

• Implemented automated Test generation (#7)
  Generates tests, based on the existence of test-instances in the res/-folder

CLI and documentation available on Linux and Windows

v0.1.1-alpha2

binaries for linux and windows