1
0
mirror of https://github.com/ellmau/adf-obdd.git synced 2025-12-19 09:29:36 +01:00

3 Commits

Author SHA1 Message Date
dependabot[bot]
76c06ab03d
Bump nom from 7.1.0 to 7.1.1 (#44) 2022-04-04 07:54:33 +00:00
Stefan Ellmauthaler
3c8cbd8059
Feature/issue 37 model counts4stable models (#38)
* New lib version 0.2.2
* Refactor ModelCounts alias into struct
* Add option for model-count-based stb in binary

Note: reduced timeouts to "only" 160
2022-03-23 15:55:27 +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