Hacker News new | ask | show | jobs
by kgwgk 4084 days ago
Not really. Screamer gives you "nondeterministic" programming. It can be used for example to solve sudokus: http://nikodemus.github.io/screamer/sudoku.lisp.html