summaryrefslogtreecommitdiff
path: root/kernel
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2013-06-09 16:30:37 +0200
committerClifford Wolf <clifford@clifford.at>2013-06-09 16:30:37 +0200
commitb210234612beb3e20d5338d03debf084c9b6c7b9 (patch)
tree430c539d3db2f9811e1178701456ff5c7b237b40 /kernel
parent1349b845e3c6508fada52f58919cffad069ceb13 (diff)
Added support for non-temporal proofs to sat_solve
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions