Explore projects

A tool to verify properties of Curry programs (contracts, non-failing)

This package provides an interface to SAT solvers supporting the DIMACS format.

Library for pseudo-random number generation

Library to deal with a global association between strings