Satsolver Alternatives
Similar projects and alternatives to satsolver
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
go-c2dmc
A Go package for converting RGB and other color formats/colorspaces into DMC thread colors (DMC color name and floss number)
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
unlocker
Discontinued ⚠️ Replaced by ItalyPaleAle/Revaulter! -- Wrap and unwrap keys using a key vault with admin consent (by ItalyPaleAle)
-
geodist
Golang package to compute the distance between two geographic latitude, longitude coordinates
-
simplefeatures
Simple Features is a pure Go Implementation of the OpenGIS Simple Feature Access Specification
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
satsolver reviews and mentions
-
Share Your Code.. Share your most unique piece of Go code.
I wanted to explore some computer science topics in my spare time so I wrote a boolean satisfiability solver: https://github.com/Harrison-Miller/satsolver
Stats
Harrison-Miller/satsolver is an open source project licensed under MIT License which is an OSI approved license.
The primary programming language of satsolver is Go.
Sponsored