Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 8 Golang Sat Solver Open Source Projects

Open source projects categorized as Golang Sat Solver
Categories > Security > Sat Solver
Gophersat ⭐ 353
gophersat, a SAT solver in Go
dependent packages 17total releases 19most recent commit 3 months ago
Gini ⭐ 125
A fast SAT solver
dependent packages 3total releases 33most recent commit 3 years ago
Gini ⭐ 121
A fast SAT solver
dependent packages 5total releases 23most recent commit 3 years ago
Go Sat ⭐ 110
SAT solver written in Go (golang).
total releases 1most recent commit 7 years ago
Go Z3 ⭐ 92
Go (golang) bindings to the Z3 SMT Solver
total releases 1most recent commit 3 years ago
Solver ⭐ 16
SAT solver library in Go; wraps around Google's Operational Research Tools
most recent commit 2 years ago
Pigosat ⭐ 13
Go (golang) bindings for Picosat, the satisfiability solver
total releases 7most recent commit 6 years ago
Saturday ⭐ 5
A small SAT solver in Go
most recent commit 3 years ago
The 3 Most Depended On Golang Sat Solver Open Source Projects
Gophersat ⭐ 353
gophersat, a SAT solver in Go
dependent packages 17total releases 19latest release November 24, 2023most recent commit 3 months ago
Gini ⭐ 121
A fast SAT solver
dependent packages 5total releases 23latest release January 31, 2019most recent commit 3 years ago
Gini ⭐ 125
A fast SAT solver
dependent packages 3total releases 33latest release August 26, 2021most recent commit 3 years ago
The 6 Latest Releases In Golang Sat Solver Open Source Projects
Gophersat ⭐ 353
gophersat, a SAT solver in Go
dependent packages 17total releases 19latest release November 24, 2023most recent commit 3 months ago
Gini ⭐ 125
A fast SAT solver
dependent packages 3total releases 33latest release August 26, 2021most recent commit 3 years ago
Go Z3 ⭐ 92
Go (golang) bindings to the Z3 SMT Solver
total releases 1latest release December 28, 2019most recent commit 3 years ago
Gini ⭐ 121
A fast SAT solver
dependent packages 5total releases 23latest release January 31, 2019most recent commit 3 years ago
Pigosat ⭐ 13
Go (golang) bindings for Picosat, the satisfiability solver
total releases 7latest release February 18, 2018most recent commit 6 years ago
Go Sat ⭐ 110
SAT solver written in Go (golang).
total releases 1latest release March 03, 2017most recent commit 7 years ago
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.