* Remove `unwrap()` from code
Remove `unwrap()` from the code (except tests).
Replaced it by either using `expect()` or handling the error more
gracefully.
* Improve documentation
Add examples on how to use the library
Add explanaitions on the dual use of crate::datatypes::Term
Relates to #33
* Update README
* Add contributing guidelines
Implemented various optimisations of the 0.2.0 version, including different filtering and rewriting approaches for model enumerations
* ADD prefilter for stable model computation (hybrid and naive)
* ADD implementation with one big rewritten formula instead of many
* ADD second version of bdd rewriting method
* FIX documentation, UPD flake
* UPD Readme, usage
* ADD hybrid options for grounded and transformation
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
* moved main.rs to bin folder
* ADD biodivine -> naive translation
* ADD hybrid approach
instantiation + grounded by biodivine, then naive approach with memoization
* TIDY Readme, doc, tests
* 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
Closes#3
added documentation
added clap for program argument handling
fully clippy approved (except where it shall not be changed)
updated workflow for win and linux builds
Signed-off-by: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>
