1
0
mirror of https://github.com/ellmau/adf-obdd.git synced 2025-12-20 09:39:38 +01:00

3 Commits

Author SHA1 Message Date
Stefan Ellmauthaler
75a85203b0
Polish documentation (#51) 2022-04-21 14:18:59 +02:00
Stefan Ellmauthaler
80915b1df8
code-style and documentation tidying (#34)
* 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
2022-03-14 21:05:53 +01:00
Stefan Ellmauthaler
20d59bc767
REORGANISE with workspace (#29)
Reorganise the structure of the repository to have a workspace with the library and the binary.
2022-03-03 13:37:14 +01:00