Stefan Ellmauthaler
99957cec7d
Merge branch 'main' into feature/issue_39_counting-model-improvements
2022-04-04 13:17:26 +02:00
ff5398ee51
Fixed compile issue with --no-default-features
2022-04-04 13:08:49 +02:00
3feeb1343b
Add more fine-grained heuristics
...
considering max-depth too
2022-04-04 13:04:11 +02:00
8d9e7f09e1
Add new heuristics approach
...
Selecting the minimal number of paths in the bdds, then choosing
variable with the highest impact.
2022-04-04 12:56:12 +02:00
904d0b107e
Add path-counting functionality to the obdd
2022-04-04 10:34:47 +02:00
dependabot[bot]
76c06ab03d
Bump nom from 7.1.0 to 7.1.1 ( #44 )
2022-04-04 07:54:33 +00:00
ccb82318d5
Update counting function with some adaptions
...
Still more changes to come (e.g. interpretation path counting)
2022-03-31 17:17:52 +02:00
6a47f4db30
Add debugging infos
...
Currently the stable models (counting-based) has issues with a couple
of
instances (e.g. adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2.pfile-L2-C1-03.pddl.1.cnf_123_211.apx.adf )
of the examples in the res-folder.
Need further debugging and analysis.
2022-03-30 13:15:49 +02:00
1f196e3cf3
Add considering variable-impact to counting based stable models
2022-03-28 10:54:39 +02:00
39379d9e3d
Add more efficient construction of 2-val models with counting
...
wip commit; considering variable impact on other bdds should be
implemented next
2022-03-24 16:57:18 +01: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
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
a68c584a4a
RESOLV todo on variable-lists ( #32 )
...
variable lists can now be queried - regardless of the given features
2022-03-04 17:25:08 +01:00
drwadu
7cf581cd9b
Feature/issue 30 facet counting ( #31 )
...
Add facet_count functionality.
Co-authored-by: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>
2022-03-04 16:26:01 +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
