VERIMAG-Polyhedra/VPL

Verimag Polyhedra Library

语言：OCaml · GitHub 星标：19 · Fork：3

话题：abstract-domain · coq-formalization · polyhedra · polyhedral-computations

在 GitHub 上查看原仓库