A solver suitable for puzzles such as 8-queens, sudoku and kenken. Provides "human-comprehensible" solutions by filling in cells in a "fewest-possibilties-first" order and recording all steps taken.
solver.clj contains the solver itself. queens.clj contains an example of how the solver can be used to solve the n queens puzzle.
Copyright © 2023 Greg
This program and the accompanying materials are made available under the terms of the Eclipse Public License 2.0 which is available at http://www.eclipse.org/legal/epl-2.0.
This Source Code may also be made available under the following Secondary Licenses when the conditions for such availability set forth in the Eclipse Public License, v. 2.0 are satisfied: GNU General Public License as published by the Free Software Foundation, either version 2 of the License, or (at your option) any later version, with the GNU Classpath Exception which is available at https://www.gnu.org/software/classpath/license.html.