Releasing Conjecture: The Automated Constraint Modelling Tool

Project: Standard

Project Details

AcronymReleasing Conjecture
StatusFinished
Effective start/end date1/01/16 → 31/03/17

Funding

  • EPSRC: £3,576.00