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

Name		Name	Last commit message	Last commit date
Latest commit History 53 Commits
Logics		Logics
Theories		Theories
Theories_Logics		Theories_Logics
Version3		Version3
biblio		biblio
code-prettify		code-prettify
images		images
js		js
papers		papers
version1		version1
virtual		virtual
.gitignore		.gitignore
CNAME		CNAME
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
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-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

Provide feedback