Stefan Ellmauthaler
6c116509c6
Feature/multiple heuristics ( #48 )
...
* Make two_val_model_counts_logic generic in heuristic
* Update API and provide two different heuristics
* Increment patch-version of lib and binary
Co-authored-by: Maximilian Marx <mmarx@wh2.tu-dresden.de>
2022-04-07 15:11:00 +02:00
Stefan Ellmauthaler
7e66d89d03
Feature/issue 39 counting model improvements ( #42 )
...
* Add more efficient construction of 2-val models with counting
* Increased patch-number of the version
2022-04-06 13:43:58 +02:00
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
