Files

 main

/

docs

/

Copy path

Directory actions

More options

Directory actions

More options

Latest commit

daniel-larraz

java: Change search order for native libraries (cvc5#11560)

Jan 23, 2025

d9012b5 · Jan 23, 2025

History

History

This branch is 2 commits ahead of, 89 commits behind cvc5/cvc5:main.

/

docs

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
_static		_static	Add download link for examples in documentation (cvc5#7836)	Jan 3, 2022
api		api	java: Change search order for native libraries (cvc5#11560)	Jan 23, 2025
binary		binary	Fix broken links to SMT-LIB (cvc5#10721)	May 3, 2024
examples		examples	docs: Add docs for C API. (cvc5#11044)	Jul 16, 2024
ext		ext	Update copyright headers. (cvc5#11561)	Jan 23, 2025
installation		installation	Integrate installation instructions into documentation (cvc5#6814)	Jul 29, 2021
proofs		proofs	[proofs] [alethe] Update doc, remove experimental option (cvc5#11210)	Sep 27, 2024
theories		theories	Add support for set.is_empty (cvc5#10743)	May 10, 2024
CMakeLists.txt		CMakeLists.txt	Update copyright headers. (cvc5#11561)	Jan 23, 2025
conf.py.in		conf.py.in	Update copyright headers. (cvc5#11561)	Jan 23, 2025
genindex.rst		genindex.rst	Add more examples to the documentation (cvc5#6569)	May 26, 2021
index.rst		index.rst	Add getter methods for skolems in API (cvc5#10393)	Mar 22, 2024
options.rst		options.rst	docs: Some fixes in options docs. (cvc5#8710)	May 3, 2022
output-tags.rst		output-tags.rst	Minor edits in docs. (cvc5#8540)	Apr 2, 2022
references.bib		references.bib	ff doc update (cvc5#10651)	Apr 20, 2024
references.rst		references.rst	Improve documentation for FP rounding mode, add bibliography (cvc5#6343)	Apr 14, 2021
resource-limits.rst		resource-limits.rst	docs: Remove references to checkEntailed(). (cvc5#8789)	May 17, 2022
skolem-ids.rst		skolem-ids.rst	Export the SKOLEM kind (cvc5#10564)	Mar 28, 2024
statistics.rst		statistics.rst	docs: Remove api namespace. (cvc5#8455)	Mar 31, 2022
View all files