passagemath-kissat

passagemath: Interface to the SAT solver kissat

v10.8.3

20.1K

downloads (30d)

No known vulnerabilities in the latest version

Exclude CI/CDPRO

Best Day

4.8K

Mar 14

Worst Day

Mar 17

Peaks On

Sats

1.3K avg

Quietest

Tues

125 avg

Markdown

[![PyPI Stats](/api/badges/passagemath-kissat?period=month)](/packages/passagemath-kissat)

HTML

<a href="/packages/passagemath-kissat"><img src="/api/badges/passagemath-kissat?period=month" alt="PyPI Stats"></a>