Geek Repo
followers
following
stars
Company:University of Glasgow
Location:Glasgow
Home Page:http://www.dcs.gla.ac.uk/~michele/
Github PK Tool:Github PK Tool
Bigraph Evaluator & Rewriting
The Z3 Theorem Prover
An overlay for the OCaml Z3 binding.