fixpoint

fixpoint --native tests/long/StateConstraints.hs.fq +RTS -p -hc -K1K
2015-10-02 15:19:00 UTC (uploaded 2015-10-02 18:24:21 UTC); download .hp
(Edit)