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