adf-obdd/.gitmodules at main - adf-obdd - gitea: ellmauthaler.net gitea service

ellmau/adf-obdd

mirror of https://github.com/ellmau/adf-obdd.git synced 2025-12-18 09:19:38 +01:00

Stefan Ellmauthaler 0d5577e251

Implementing nom-based parser (#5 )

* 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

2022-01-03 15:21:11 +01:00

4 lines

109 B

Plaintext

Raw Permalink Blame History

	`[submodule "res/adf-instances"]`
	`path = res/adf-instances`
	`url = https://github.com/ellmau/adf-instances.git`