{"repository":{"description":"DPLL(T)-based search algorithm for ground input supporting inductively defined concepts, finite domain constraints, pseudo-boolean aggregates and subtheory queries (polynomial hierarchy expressivity).","homepage":"dtai.cs.kuleuven.be/krr/software/minisatid","watchers":3,"stargazers":3,"forks":0,"fork":false,"size":23328,"owner":"broesdecat","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"C++","created_at":"2011-05-17T22:18:45-07:00","pushed_at":"2013-10-27T06:18:04-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Broes De Cat","company":"Katholic University Leuven","blog":"people.cs.kuleuven.be/broes.decat","location":"Belgium","email":"946bdf9646b4bac65d644fc16cc38a86c367f3dc@gmail.com"},"url":"https://github.com/broesdecat/Minisatid/compare/6c2d311f6f...5edbe0e88b"}