crack 0.1.0

verify distributed and lock-free algorithms through symbolic execution
Documentation