free-theorems-counterexamples

Automatically Generating Counterexamples to Naive Free Theorems

Latest on Hackage:0.3.1.0

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.

PublicDomain licensed by Daniel Seidel, Joachim Breitner
Maintained by ds@iai.uni-bonn.de
The module free-theorems-counterexamples-0.3 can be installed the following way:

runhaskell Setup.hs configure --user
runhaskell Setup.hs build
runhaskell Setup.hs haddock
runhaskell Setup.hs install

runhaskell Setup.hs haddock builds the documentation.
This step is not necessary.

After installation the modules
Language.Haskell.FreeTheorems.Variations.CounterExamples.ExFind
Language.Haskell.FreeTheorems.Variations.CounterExamples.Algorithm.ExFindExtended
Language.Haskell.FreeTheorems.Variations.CounterExamples.Common.AlgCommon
Language.Haskell.FreeTheorems.Variations.CounterExamples.Parser.ParseType
are available.

To start the webinterface do

$ ./test.sh

then it runs under http://localhost:8002/

The webinterface can also be found under

http://www-ps.iai.uni-bonn/cgi-bin/exfind.cgi

Enjoy.
comments powered byDisqus