pigosat

wkschwartz

Go (golang) bindings for Picosat, the satisfiability solver

optimization

View on GitHub

15 Stars

4 Forks

15 Watchers

C Language

other License

Cost to Build

$34.2K

Market Value

$34.5K

How is this calculated?

Growth over time

4 data points · 2021-07-30 → 2022-03-06

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about pigosat

Question copied to clipboard

What is the wkschwartz/pigosat GitHub project? Description: "Go (golang) bindings for Picosat, the satisfiability solver". Written in C. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone pigosat

Clone via HTTPS

git clone https://github.com/wkschwartz/pigosat.git

Clone via SSH

[email protected]:wkschwartz/pigosat.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the pigosat issue tracker:

Open GitHub Issues

Similar to pigosat

prepack svgo closure-compiler llvm clean-css simplify imagemin game-programming-patterns webpackmonitor reactopt BayesianOptimization nnvm MTuner webdnn easyengine gosl soot scikit-optimize DietPi faster incubator-kie-optaplanner search-engine-optimization react-ssr-optimization opticss wheels owl meshoptimizer MLBox JuMP.jl eaopt