{"push_id":870767961,"size":6,"distinct_size":6,"ref":"refs/heads/master","head":"b4e34a40b6cfbaf5f20519b9210671237f29f06c","before":"709853ff886774811b0cd73b4b4fd497de394613","commits":[{"sha":"c0fcab9869ba27fac6a19486af82e1d3fab09450","author":{"email":"bc2a4d3db12d4be19a334ba871062e019f1a11c8@192.168.12.69","name":"Florian Corzilius"},"message":"added some condition for formulas saying that it is a conjunction of literals","distinct":true,"url":"https://api.github.com/repos/smtrat/smtrat/commits/c0fcab9869ba27fac6a19486af82e1d3fab09450"},{"sha":"691493b059d64426fbdff403fa02a15234e5b6de","author":{"email":"bc2a4d3db12d4be19a334ba871062e019f1a11c8@192.168.12.69","name":"Florian Corzilius"},"message":"VSModule can now also handle conjunctions of literals of constraints","distinct":true,"url":"https://api.github.com/repos/smtrat/smtrat/commits/691493b059d64426fbdff403fa02a15234e5b6de"},{"sha":"e331ff9399725b91f9f449b8859daa8830700435","author":{"email":"bc2a4d3db12d4be19a334ba871062e019f1a11c8@192.168.12.69","name":"Florian Corzilius"},"message":"Added simple strategy only containing the VSModule","distinct":true,"url":"https://api.github.com/repos/smtrat/smtrat/commits/e331ff9399725b91f9f449b8859daa8830700435"},{"sha":"3b79635a03e3fcad4f16c4b2f8f6dbd20c98712a","author":{"email":"bc2a4d3db12d4be19a334ba871062e019f1a11c8@192.168.12.69","name":"Florian Corzilius"},"message":"Merge origin/master","distinct":true,"url":"https://api.github.com/repos/smtrat/smtrat/commits/3b79635a03e3fcad4f16c4b2f8f6dbd20c98712a"},{"sha":"91badd2ade0500c138a6bf6553ab0eadb1f7fc6e","author":{"email":"bc2a4d3db12d4be19a334ba871062e019f1a11c8@192.168.12.69","name":"Florian Corzilius"},"message":"removed output from licmodule and disabled graph visualization construction","distinct":true,"url":"https://api.github.com/repos/smtrat/smtrat/commits/91badd2ade0500c138a6bf6553ab0eadb1f7fc6e"},{"sha":"b4e34a40b6cfbaf5f20519b9210671237f29f06c","author":{"email":"bc2a4d3db12d4be19a334ba871062e019f1a11c8@192.168.12.69","name":"Florian Corzilius"},"message":"Yes! The GBModule actually can solve QF_NIA problems (the same way as with QF_NRA)","distinct":true,"url":"https://api.github.com/repos/smtrat/smtrat/commits/b4e34a40b6cfbaf5f20519b9210671237f29f06c"}]}