A binero solver written in C