about summary refs log tree commit diff homepage
path: root/test/Solver/FastCexSolver.kquery
AgeCommit message (Expand)Author
2016-11-23Renamed .pc to .kquery (kleaver query)Eric Rizzi