binairo 0.1.1

A binairo solver.