[BUG] figure out why _tactic4 only works for refinement - Githubissues

pacti-org / pacti

A package for compositional system analysis and design

https://www.pacti.org

BSD 3-Clause "New" or "Revised" License

19 stars 5 forks source link

[BUG] figure out why _tactic4 only works for refinement #258

Open iincer opened 1 year ago