@hackage free-theorems-counterexamples0.3.0.2

Automatically Generating Counterexamples to Naive Free Theorems

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.