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
)