interweave 0.1.1

Stateless model checker for concurrent programs, powered by Optimal DPOR.
Documentation