make testdata structure more generic, allow for multiple solvables
make testdata structure more generic, allow for multiple solvables


ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver