GitHub - ouzhg/L2TP: The translator from second-order logic under stable model to logic programs · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
parse		parse
res		res
runner		runner
src		src
tests		tests
.gitignore		.gitignore
CMakeClean.sh		CMakeClean.sh
CMakeLists.txt		CMakeLists.txt

About

The translator from second-order logic under stable model to logic programs

Report repository

Releases

No releases published

Packages

Contributors

Languages