GitHub is home to over 31 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.
A fast SAT solver
symbolic reachability checker
website for iri-labs.com
Binary fixed point numbers
Embeddable dynamic bit sequence compressor using arithmetic coding
benchmark suites for gini bench tool