Model counting missing - Githubissues

DeepseaPlatform / coastal

Concolic analysis tool for Java

https://deepseaplatform.github.io/coastal/

Apache License 2.0

21 stars 9 forks source link

Model counting missing #5

Open jacogeld opened 6 years ago

jacogeld commented 6 years ago

Model counting needs to be added.

jacogeld commented 5 years ago

Could easily add to next milestone.

jacogeld commented 5 years ago

Turns out not to be so easy. Since COASTAL does not currently use GREEN, it may be more work than anticipated. Even with the GREEN machinery, complex constraints may never be amendable to model counting.