General

Profile

Daniel Hausmann's activity

From 09/18/2017 to 10/17/2017

10/17/2017

11:28 PM COOL Revision e765822b (cool): Implement own parity game solver
Instead of relying on pgsolver for this task. Daniel Hausmann

10/15/2017

05:01 PM COOL Revision 77f7da85 (cool): Add more formula families to gen.ml
Daniel Hausmann
 

Also available in: Atom