AUTHORS.md

Authors

This project has been developed at the Logic and Semantics group at Aarhus University.

Main Contributors

• Steffan Sølvsten: soelvsten@cs.au.dk

  PhD student, Aarhus University

• Nils Husung:

  CS student, Saarland University

• Anna Blume Jakobsen:

  Student Programmer, Aarhus University

Acknowledgements

• Jaco van de Pol:

  PhD Supervisor

• Randal E. Bryant:

  Research Visit Mentor

• Marijn Heule:

  Research Visit Mentor