{"shas":[["cea2d1c34be30e88e17ac1f60387a97fb4b5f3c3","05571cc66911b646881ca21f5e5d2c767bfd2777@chalmers.se","Fix minisat_l_{True,False,Undef}.","Nick Smallbone"],["b29738e3cfae4504d5caffc3aea02914ccad0b19","05571cc66911b646881ca21f5e5d2c767bfd2777@chalmers.se","Added Minisat_Opaque.","Nick Smallbone"]],"repo":"niklasso/minisat-c-bindings","actor":"nick8325","ref":"refs/heads/master","size":2,"head":"b29738e3cfae4504d5caffc3aea02914ccad0b19","actor_gravatar":"1a2f375bd2bec86d820bf54dff54f16d","push_id":30172858}