{"ref":"v0.3.1","ref_type":"tag","master_branch":"master","description":"A dynamic programming-based QBF solver, see http://dbai.tuwien.ac.at/proj/decodyn/dynqbf/","pusher_type":"user"}
{"actor":{"display_login":"gcharwat"}}