sci-mathematics / psmt2-frontend

Library to parse and type-check an extension of the SMT-LIB 2 standard

Official package sites : https://github.com/OCamlPro-Coquera/psmt2-frontend ·

v0.2 :: 0 :: gentoo

Modified
License
Apache-2.0
Keywords
amd64 ~x86

dev-ml / findlib : OCaml tool to find/use non-standard packages

dev-ml / menhir : LR(1) parser generator for the OCaml language

dev-ml / menhir : LR(1) parser generator for the OCaml language

sci-mathematics / alt-ergo : Automatic theorem prover

Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
sci-mathematics/psmt2-frontend: fix make install
Closes: https://bugs.gentoo.org/698858 Package-Manager: Portage-2.3.76, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
sci-mathematics/psmt2-frontend: rename configure.in to ac
Package-Manager: Portage-2.3.76, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
sci-mathematics/psmt2-frontend: Stable version
Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
sci-mathematics/psmt2-frontend: add psmt2-frontend
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11