/soup

Trivial wrapper for sentient-lang's autogram solver.

Primary LanguagePython

soup

Soup, as in alphabet soup.

This repo was formerly my own attempt to code an autogram solver.

More recently, I learned of Sentient Lang and decided to write a simple python wrapper for the solver provided in their examples.

To use soup.py, you will need to install

  • Python
  • Sentient Lang's main compiler "sentient"
  • The Riss SAT solver & optimizer
  • The Lingeling SAT solver