Eignex/klause
Kotlin solver for Boolean and integer constraint problems. Finds and samples satisfying solutions, picks the best under a weighted objective, and exports to CNF for external SAT engines.
GitHub repository with 7 stars and 0 forks.
Language: Kotlin