Giters
bitwalker
/
picosat_elixir
Elixir + Erlang bindings for the PicoSAT solver
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
23
Watchers:
4
Issues:
6
Forks:
3
bitwalker/picosat_elixir Issues
Issue compiling using Burrito and Zig
Updated
3 months ago
Comments count
1
Error on windows when I try to make
Closed
a year ago
Comments count
5
Undefined symbols for architecture arm64
Closed
a year ago
Comments count
6
Build fails when picosat is not a dep of another project
Closed
4 years ago
Comments count
5
Issue compiling
Closed
3 years ago
Comments count
2
cannot open shared object file: No such file or directory
Closed
3 years ago
Comments count
2