5 Commits

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