Giters
VERIMAG-Polyhedra

VERIMAG-Polyhedra

Geek Repo

2

followers

0

following

0

stars

Github PK Tool:Github PK Tool

VERIMAG-Polyhedra's repositories

VPL

Verimag Polyhedra Library

Language:OCamlLicense:LGPL-3.0Stargazers:17Issues:5Issues:23

VplTactic

A Coq Tactic for Arithmetic (based on VPL)

Language:CoqLicense:LGPL-3.0Stargazers:6Issues:3Issues:1

opam-vpl

Opam packages for VPL

Language:SchemeLicense:GPL-3.0Stargazers:1Issues:3Issues:2

VPL-Experiments

Language:PythonLicense:GPL-3.0Stargazers:0Issues:0Issues:0