2 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
spot 2.9-1 1 0.06 A C++14 library for omega automata manipulation and model checking. vl.still
sylvan 1.5.0-1 0 0.00 Sylvan is a parallel (multi-core) MTBDD library written in C. vl.still

2 packages found. Page 1 of 1.