2b86e745b2
Fix some style issues
2022-07-27 12:50:04 +02:00
e1b9eeb3b2
Add metadata to bin/Cargo.toml, add features
...
added a benchmark feature, to easily compile benchmark-releases
2022-07-26 12:19:00 +02:00
7726d27007
Merge remote-tracking branch 'origin/main' into milestone/nogoods
2022-07-18 11:09:33 +02:00
dependabot[bot]
493a834388
Bump clap from 3.1.18 to 3.2.2 -> 3.2.12 ( #78 )
...
* Bump clap from 3.1.18 to 3.2.2
Bumps [clap](https://github.com/clap-rs/clap ) from 3.1.18 to 3.2.2.
- [Release notes](https://github.com/clap-rs/clap/releases )
- [Changelog](https://github.com/clap-rs/clap/blob/master/CHANGELOG.md )
- [Commits](https://github.com/clap-rs/clap/compare/v3.1.18...clap_complete-v3.2.2 )
---
updated-dependencies:
- dependency-name: clap
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com>
* Update version to 3.2.12
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Co-authored-by: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>
2022-07-18 10:58:45 +02:00
4eabf1692b
Optimise ng learner further on and fix a verification bug
...
Introduce a new flag to handle big instances (modelcount vs adhoccount)
2022-06-23 12:36:20 +02:00
86084d7221
Add ng option with heu to binary
...
Fix various bugs with the nogood learner
2022-06-22 17:15:51 +02:00
f6f922d5e9
Fix typo in Readme
2022-06-21 10:47:58 +02:00
dependabot[bot]
c29db9a6aa
Bump clap from 3.1.14 to 3.1.18 ( #68 )
2022-06-13 12:11:45 +00:00
dependabot[bot]
1c8508eb66
Bump clap from 3.1.8 to 3.1.14 ( #59 )
2022-05-02 08:35:10 +00:00
9f4689ad45
Fix link location in all readme files for KBS
2022-04-28 09:51:26 +02:00
Stefan Ellmauthaler
43da337ce9
Add acknowledgements ( #55 )
...
Update Acknowledgements and Legal Disclaimer
2022-04-27 11:56:24 +02:00
Stefan Ellmauthaler
35bb36bfc5
Update crates.io usage for the binary ( #53 )
...
* Change the binary name to be written in kebab-case as a distinction to the snake-case library name
* Use the crates.io crate for the binary now
2022-04-22 13:34:08 +02:00
Stefan Ellmauthaler
432ac0348a
change license ( #52 )
...
* change license for crates.io publication
2022-04-21 16:10:31 +02:00
Stefan Ellmauthaler
75a85203b0
Polish documentation ( #51 )
2022-04-21 14:18:59 +02:00
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]
02dc37cbbf
Bump clap from 3.1.5 to 3.1.8 ( #47 )
2022-04-04 08:34:01 +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
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
aa0e7018bf
UPD clap
2022-03-03 13:49:35 +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
Stefan Ellmauthaler
3f32db45ee
ADD variable list mechanics ( #27 )
...
* directly hooked into the internal BDD-primitive functions
* has worse performance than the approach without the primitive functions
* foreseeable for easy problems
* surprise for more complex problems, because recursion can be
escaped much earlier
* ADD the default-feature "variablelist" to have a compile-flag to either
enable or disable this feature.
* updated rust to the current version
2022-03-03 12:22:45 +01:00
Stefan Ellmauthaler
a2fa3adfe9
UPD clap, FIX resulting issues ( #26 )
...
Update clap to version 3.1.3, so
- structopt gets obsolete
- Errors are differently named, therefore tests needed to be adapted
- updated Cargo.lock for the binary
Fixed an issue with clippy warnings
2022-03-01 15:32:57 +01:00
Stefan Ellmauthaler
c6837ff7eb
Feature/issue 22 extra binary ( #24 )
...
Split lib and bin into two directories
* modified workflow, readmes, documentation, ...
* excluded flake.lock from the package
* SET new patch version
2022-02-23 15:06:46 +01:00
