Hets - the Heterogeneous Tool Set

Copyright(c) Soeren Schulze, Uni Bremen 2012
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred

Logic.KnownIris

Description

 

Documentation