Add reduction using SAT and QBF solvers#407

notValord wants to merge 6 commits intoVeriFIT:develVeriFIT/mata:develfrom

notValord:reduction_using_solversnotValord/mata:reduction_using_solversCopy head branch name to clipboard