Recent Releases of adf-bdd-bin
adf-bdd-bin - v0.3.0-beta.2
What's Changed
- Add acknowledgements by @ellmau in https://github.com/ellmau/adf-obdd/pull/55
- Fix link location in all readme files for KBS by @ellmau in https://github.com/ellmau/adf-obdd/pull/57
- Bump clap from 3.1.8 to 3.1.14 by @dependabot in https://github.com/ellmau/adf-obdd/pull/59
- Bump serde from 1.0.136 to 1.0.137 by @dependabot in https://github.com/ellmau/adf-obdd/pull/58
- Bump serde_json from 1.0.79 to 1.0.80 by @dependabot in https://github.com/ellmau/adf-obdd/pull/60
- Add badges to readme by @ellmau in https://github.com/ellmau/adf-obdd/pull/61
- Add CI for develop branch by @ellmau in https://github.com/ellmau/adf-obdd/pull/62
- Use nix-envrc, Bump flake by @ellmau in https://github.com/ellmau/adf-obdd/pull/66
- Bump flake and update to rust 1.61 by @ellmau in https://github.com/ellmau/adf-obdd/pull/67
- Bump clap from 3.1.14 to 3.1.18 by @dependabot in https://github.com/ellmau/adf-obdd/pull/68
- Bump serde_json from 1.0.81 to 1.0.82 by @dependabot in https://github.com/ellmau/adf-obdd/pull/77
- Bump clap from 3.1.18 to 3.2.2 -> 3.2.12 by @dependabot in https://github.com/ellmau/adf-obdd/pull/78
- Create combine-prs.yml by @ellmau in https://github.com/ellmau/adf-obdd/pull/86
- milestone/nogoods by @ellmau in https://github.com/ellmau/adf-obdd/pull/74
- Prepare files to publish the adf-bdd-bin package by @ellmau in https://github.com/ellmau/adf-obdd/pull/89
- Update build.yml by @ellmau in https://github.com/ellmau/adf-obdd/pull/91
- Rust 1.61 conformity by @ellmau in https://github.com/ellmau/adf-obdd/pull/92
Full Changelog: https://github.com/ellmau/adf-obdd/compare/v0.2.4-beta.1...v0.3.0-beta.2
- Rust
Published by ellmau over 3 years ago
adf-bdd-bin - v0.2.4-beta.1
What's Changed
- Feature/issue 30 facet counting by @drwadu in https://github.com/ellmau/adf-obdd/pull/31
- Feature/issue 37 model counts4stable models by @ellmau in https://github.com/ellmau/adf-obdd/pull/38
- Feature/issue 39 counting model improvements by @ellmau in https://github.com/ellmau/adf-obdd/pull/42
- Feature/multiple heuristics by @ellmau in https://github.com/ellmau/adf-obdd/pull/48
- Polish documentation by @ellmau in https://github.com/ellmau/adf-obdd/pull/51
- Update crates.io usage for the binary by @ellmau in https://github.com/ellmau/adf-obdd/pull/53
New Contributors
- @drwadu made their first contribution in https://github.com/ellmau/adf-obdd/pull/31
- @dependabot made their first contribution in https://github.com/ellmau/adf-obdd/pull/46
Full Changelog: https://github.com/ellmau/adf-obdd/compare/v0.2.1-beta.1...v0.2.4-beta.1
- Rust
Published by ellmau almost 4 years ago
adf-bdd-bin - 0.2.1 With optimizations, counting, and distinct lib/bin distinction
What's Changed
- 0.2.0 optimisations by @ellmau in https://github.com/ellmau/adf-obdd/pull/19
- ADD counting of (counter) models and variables of one BDD-Tree by @ellmau in https://github.com/ellmau/adf-obdd/pull/21
- Feature/issue 22 extra binary by @ellmau in https://github.com/ellmau/adf-obdd/pull/24
Full Changelog: https://github.com/ellmau/adf-obdd/compare/v0.2.0-beta.1...v0.2.1-beta.1
- Rust
Published by ellmau about 4 years ago
adf-bdd-bin - 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
- Rust
Published by ellmau about 4 years ago
adf-bdd-bin - 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
- Rust
Published by ellmau about 4 years ago
adf-bdd-bin - ADF-BDD can now do complete models
Implement complete models with lazy evaluated iterators
- Rust
Published by ellmau about 4 years ago
adf-bdd-bin - 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
- Rust
Published by ellmau about 4 years ago
adf-bdd-bin - 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
- Rust
Published by ellmau about 4 years ago
adf-bdd-bin - CLI and documentation available on Linux and Windows
- Rust
Published by ellmau over 4 years ago
adf-bdd-bin - First alpha of the solver
This is the first alpha version of this solver which allows the computation of the grounded semantics of a given ADF
- Rust
Published by ellmau over 4 years ago