mirror of
https://github.com/ellmau/adf-obdd.git
synced 2025-12-19 09:29:36 +01:00
* 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