Staccato is a statistics-directed algorithm to compute the minimal hitting set.
More information on the algorithm will be posted soon.
- Rui Abreu (lead developer)
- Peter Zoeteweij
- Arjan J.C. van Gemund
Staccato will be available for download soon
If you have comments or questions you can contact Rui Abreu (RuiAbreu