* Introduce separate server package
* Implement basic visualization of solve response
* Make fetch endpoint depend on environment
* Introduce features flag for localhost cors support
* Serve static files from './assets' directory
* Add Dockerfile as example for server with frontend
* Support multiple solving strategies
* Support stable model semantics with nogoods
* Introduce custom node type for nicer layout
* Support more options and multiple models
* Use standard example for adfs on the frontend
* Use unoptimised hybrid step for better presentation
* Upgrade frontend dependencies
* Animate graph changes
* Experiment with timeout on API endpoints
* Relax CORS restrictions for local development
* Add API for adding/deleting users; login; logout
* Add API for uploading and solving adf problems
* Add API for getting and updating user
* Return early for parse and solve; Add Adf GET
* Add Delete and Index endpoints for ADFs
* Add basic UI for user endpoints
* Enforce username and password to be set on login
* Show colored snackbars
* Allow file upload for ADF; fix some server bugs
* Implement ADF Add Form and Overview
* Add Detail View for ADF problems
* Add docker-compose file for mongodb (development)
* Add mongodb (DEV) data directory to dockerignore
* Let unknown routes be handled by frontend
* Add legal information page to frontend
* Change G6 Graph layout slightly
* Add missing doc comments to lib
* Update legal information regarding cookies
* Add project logos to frontend
* Add help texts to frontend
* Move DoubleLabeledGraph from lib to server
* Give example for custom Adf datastructure in docs
* Update README and Project Website
* Update devskim.yml
* Add READMEs for frontend and server
---------
Co-authored-by: monsterkrampe <monsterkrampe@users.noreply.github.com>
* 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
Implemented various optimisations of the 0.2.0 version, including different filtering and rewriting approaches for model enumerations
* ADD prefilter for stable model computation (hybrid and naive)
* ADD implementation with one big rewritten formula instead of many
* ADD second version of bdd rewriting method
* FIX documentation, UPD flake
* UPD Readme, usage
* ADD hybrid options for grounded and transformation
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
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
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>
* Implemented a nom-based parser to read the adf
* Grounded semantics (naive) re-implemented
* Docs added
* Updated Cargo.toml with more Manifest information
* Version update
* Added sort-methods to the parser, so the var-order can be adjusted
* Added sort functionality to the main function
* Added adf-instances as a submodule to the res-folder
* Added README information for the extended integration tests
* Rewritten main-function
Closes#3
added documentation
added clap for program argument handling
fully clippy approved (except where it shall not be changed)
updated workflow for win and linux builds
Signed-off-by: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>
