Skip to content

michaelficarra/chase

Repository files navigation

Build and test haskell parser:

rake build test

The output is currently a human-readable list of jointly minimal models to stdio.

Run chase --help after building the parser for further usage info.

About

an implementation of the not-so-famous chase algorithm, plus a first order logic parser

Resources

Stars

Watchers

Forks

Packages

No packages published