mseve

followers

following

stars

University of Glasgow

Glasgow

http://www.dcs.gla.ac.uk/~michele/

Michele Sevegnani's repositories

Bigrapher

Bigraph Evaluator & Rewriting

020

z3

The Z3 Theorem Prover

Language:C++NOASSERTION020

z3overlay

An overlay for the OCaml Z3 binding.

Language:OCamlMIT020