{"library":"boolector","type":"cli","category":null,"description":"SMT solver for bit-vectors and arrays, useful for formal verification and software testing.","language":"c","status":"active","version":"1.5.118.6b56be4.121013","tags":[],"last_verified":null,"install":[{"cmd":"apt install boolector","imports":[]}],"homepage":"http://fmv.jku.at/boolector/","github":null,"docs":null,"changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"compatibility":null}