Geeks
daergoth
/
DefaultLogicModelCheck
Model checking algorithm for default logic
Primary Language
Java
MIT License
MIT
DefaultLogicModelCheck GitHub
Markdown
Readme
0
Issues
1
Stargazer
2
Watchers
DefaultLogicModelCheck
Model checking algorithm for default logic