README.md

CYices

Swift System Module to link against the Yices library.

Prerequisite

The paths to header and library files have to be configured with pkg-config.

Usage

import CYices

See FLEA-CNF for usage.