GitHub - SMT-LIB/SMT-LIB.github.io: Sources of www.SMT-LIB.org

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 124 Commits
Logics		Logics
Theories		Theories
Theories_Logics		Theories_Logics
Version3		Version3
biblio		biblio
code-prettify		code-prettify
explore		explore
images		images
js		js
papers		papers
version1		version1
virtual		virtual
.gitignore		.gitignore
CNAME		CNAME
README.txt		README.txt
SMT-LIB-clone.sh		SMT-LIB-clone.sh
about.shtml		about.shtml
benchmarks.shtml		benchmarks.shtml
contact.shtml		contact.shtml
credits.shtml		credits.shtml
examples.shtml		examples.shtml
explore.shtml		explore.shtml
index.html		index.html
index.shtml		index.shtml
language.shtml		language.shtml
logics-all.shtml		logics-all.shtml
logics.shtml		logics.shtml
news.shtml		news.shtml
old-README.md		old-README.md
related.shtml		related.shtml
software.shtml		software.shtml
solvers.shtml		solvers.shtml
standard.shtml		standard.shtml
style.css		style.css
theories-ArraysEx.shtml		theories-ArraysEx.shtml
theories-Core.shtml		theories-Core.shtml
theories-FixedSizeBitVectors.shtml		theories-FixedSizeBitVectors.shtml
theories-FloatingPoint.shtml		theories-FloatingPoint.shtml
theories-HO-Core.shtml		theories-HO-Core.shtml
theories-Ints.shtml		theories-Ints.shtml
theories-Reals.shtml		theories-Reals.shtml
theories-Reals_Ints.shtml		theories-Reals_Ints.shtml
theories-UnicodeStrings-1.shtml		theories-UnicodeStrings-1.shtml
theories-UnicodeStrings-final.shtml		theories-UnicodeStrings-final.shtml
theories-UnicodeStrings.shtml		theories-UnicodeStrings.shtml
theories.shtml		theories.shtml
utilities.shtml		utilities.shtml
version3-proposal.shtml		version3-proposal.shtml
version3.shtml		version3.shtml

Repository files navigation

DO NOT EDIT ANY FILE HERE.
Instead, edit files in "virtual", "Theories", and "Logics" directories and follow the workflow in README.txt in the "virtual" directory.