Home	•	Docs	•	Download	•	Mail	•	FAQ	•	Awards	•	Status	•	MSR

An Efficient SMT Solver

Managed (.NET) API examples

Data Structures
class	TestManaged
	Class encapsulating Z3 tests. More...