psmt2-frontend

Description:	Library to parse and type-check an extension of the SMT-LIB 2 standard
License:	Apache-2.0
Homepage:	https://github.com/OCamlPro-Coquera/psmt2-frontend
Location:	Portage

Legend:

+ - stable
~ - unstable
M - hardmask

		alpha	amd64	arm	hppa	ia64	m68k	mips	ppc	ppc64	s390	sh	sparc	x86
0.4.0	diff	-	+	-	-	-	-	-	-	-	-	-	-	~
0.2		-	+	-	-	-	-	-	-	-	-	-	-	~

USE flags

ocamlopt - Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)
test - Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)

Also available in: Atom

About Project
History
Screenshots
Logos and themes
Video
Reviews
Introduction
Contact Us
Donations

Development
News
Calculate Linux

Products
Calculate Directory Server
Calculate Linux Desktop
Calculate Linux Scratch
Support
Downloads
License

Documentation
Installing Calculate
Working with Calculate
Working with Portage
Calculate Utilities
Server Configuration
Workstation Setup
Calculate Network Configuration
Hardware Setup
Manuals
Guides

Services
Newest Packages
GLSA
Browse Packages
USE Flags
All Licenses

OpenID Server
Pastebin

Community
Blogs
Forums
Wiki
BugTracker

Calculate User Map
LinuxQuestions
Facebook
Google+
Telegram
Twitter

If you find a mistake, please highlight it and press Ctrl+Enter.