picosat_elixir

Bindings for the PicoSAT SAT solver

Stars

30

Unreleased Activity

First Release

5

years ago

Last Release

2

years ago

Downloads

88.3k

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

Published Dec 2022
Elixir Version Requirement ~> 1.7

Dependencies

1
elixir_make ~> 0.6

A Make compiler for Mix

No changelog for 0.2.3