Skip to content

go-air/gini

Error
Looks like something went wrong!

About

A fast SAT solver

Topics

testing resolution verification artificial-intelligence fuzzing concurrent logic-programming dependencies boolean-formulas sat-solver logic-circuit circuit-sat

Resources

Readme

License

MIT license

Code of conduct

Code of conduct
Activity
Custom properties

Stars

149 stars

Watchers

10 watching

Forks

17 forks
Report repository

Releases 26

Hashi Latest
Aug 25, 2021
+ 25 releases

Sponsor this project

 
Learn more about GitHub Sponsors

Packages

No packages published

Contributors 2

  •  
  •  

Languages