cvc5-rs 0.3.2

High-level Rust bindings for the cvc5 SMT solver
Documentation 
1
2
3
4

[submodule "cvc5-sys/cvc5"]
	path = cvc5-sys/cvc5
	url = https://github.com/cvc5/cvc5.git
	ignore = dirty