General

Profile

Daniel Hausmann

  • Registered on: 04/13/2017
  • Last connection: 04/13/2017

Issues

Projects

  • COOL (Manager, 04/13/2017)

Activity

10/17/2017

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

10/15/2017

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

Also available in: Atom