LinsolverFind rational solutions to systems of equations

SAT SimulatorSudoku-like: Objects 1...N are in some of boxes 1...N

FourierSimple thing to calculate integrals