GitHub - hexhex/manual: Manual for the HEX language and the dlvhex and hexlite solvers

This manual is about the HEX language and the solvers dlvhex and hexlite.

Download the manual here or from the releases here.

Name		Name	Last commit message	Last commit date
Latest commit History 204 Commits
RW2017		RW2017
archive/example_3_13		archive/example_3_13
example_2_1		example_2_1
example_3_opti		example_3_opti
example_3_stringset		example_3_stringset
example_4_pathfind		example_4_pathfind
example_4_swim		example_4_swim
example_4_travel		example_4_travel
example_5_1		example_5_1
example_5_3		example_5_3
.gitignore		.gitignore
Manual.bib		Manual.bib
Manual.pdf		Manual.pdf
Manual.tex		Manual.tex
Readme.md		Readme.md
biglogo_whitebg.png		biglogo_whitebg.png
remove_built_files.sh		remove_built_files.sh

Navigation Menu