Add script for testing solvers
Literal patterns