3 Commits

Author	SHA1	Message	Date
Stefan Ellmauthaler	1edfe43985	Feature/issue 17 biodivine (#18) ... State of the art BDD library, naive implementation, and Hybrid-approach available in the first beta-release version 0.2.0 * ADD biodivine as an obdd library to adf-obdd * Implement restrict-wrapper on Biodivine * Testcases changed to use biodivine for grounded. * API unified * ADD stable and complete with biodivine * moved main.rs to bin folder * ADD biodivine -> naive translation * ADD hybrid approach instantiation + grounded by biodivine, then naive approach with memoization * TIDY Readme, doc, tests	2022-01-27 12:23:12 +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	21fdb2cd76	Implemented automated Test generation (#7) ... Generates tests, based on the existence of test-instances in the `res/`-folder	2022-01-03 17:38:17 +01:00