search

loonwerks / AGREE

Assume-Guarantee REasoning Environment
BSD 3-Clause "New" or "Revised" License
12 stars 5 forks source link

Headless agree #134

Closed iamundson closed 3 months ago

iamundson commented 3 months ago

Addresses issue #126