Doesn’t include Prolog which has decent constraint solver answers for n-queens and sudoku, which are pretty fast but I don’t know how they would compare in benc

Doesn’t include Prolog which has decent constraint solver answers for n-queens and sudoku, which are pretty fast but I don’t know how they would compare in benchmarks: https://www.metalevel.at/queens/ https://www.metalevel.at/queens/ https://www.metalevel.at/sudoku/ https://www.metalevel.at/sudoku/