8 Commits

Author	SHA1	Message	Date
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	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