3 Commits

Author	SHA1	Message	Date
Stefan Ellmauthaler	bfd0aa4a68	Implement non-deprecated cli with structopts and adf-state-safer (#14) ... Rework of the CLI methods. Added import/export functionality for ADFs in BDD representation (via JSON serialisation)	2022-01-11 16:24:18 +01:00
Stefan Ellmauthaler	07d15167fe	Implement Stable Models based on lazy evaluated iterators (#13) ... Implements #12 * Implement Stable Models based on lazy evaluated iterators * Adjustment of the internal computation of the grounded interpretation * Update build.rs to replace "@" in test-instance names with "at" * Implement de-/serialization of the adf (in OBDD representation) in library * Adjust tests * Add more style-restrictions to compiler	2022-01-11 14:01:15 +01:00
Stefan Ellmauthaler	b73231f501	Implement better tests ... Utilised quickcheck, assert_cmd, predicates, and assert_fs for better tests of low-level functionality as well as cli-testing. Signed-off-by: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>	2022-01-06 16:55:08 +01:00