refactor python solve future class to use c api
refactor python solve future class to use c api

peschue/clingo,peschue/clingo,potassco/clingo,peschue/clingo,peschue/clingo,potassco/clingo,potassco/clingo,potassco/clingo