picosat_elixir

Bindings for the PicoSAT SAT solver

Stars

30

Unreleased Activity

Unknown

First Release

5

years ago

Last Release

2

years ago

Downloads

79.5k

last 90 days

Last Stable Version

0.2.3

Activity

last year

Pull Requests

Open 1
Merged 0

Latest Merged Pull Requests

No Github activity

Issues

Open 1
Closed 0

Version 0.2.3

Failed to load version 0.2.3 information.

Please refresh in a bit