ellmau/adf-obdd
1
0
Fork 0
mirror of https://github.com/ellmau/adf-obdd.git synced 2025-12-19 09:29:36 +01:00
Code Issues Projects Releases Wiki Activity
135 Commits 18 Branches 18 Tags
Commit Graph

2 Commits

Author SHA1 Message Date
Stefan Ellmauthaler
0d4f9ff195
Add where related coding convention (#40) 
* Add where related coding convention to the CONTRIBUTING.md file
 2022-03-24 12:00:53 +01: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