solver

SAT solver library in Go; wraps around Google's Operational Research Tools (by irfansharif)

Solver Alternatives

Similar projects and alternatives to solver based on common topics and language

  • minizinc-python

    Access to all MiniZinc functionality directly from Python

  • OptaPlanner

    Java Constraint Solver to solve vehicle routing, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.

  • WorkOS

    The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

    WorkOS logo
  • gosl

    Linear algebra, eigenvalues, FFT, Bessel, elliptic, orthogonal polys, geometry, NURBS, numerical quadrature, 3D transfinite interpolation, random numbers, Mersenne twister, probability distributions, optimisation, differential equations.

  • gago

    :four_leaf_clover: Evolutionary optimization library for Go (genetic algorithm, partical swarm optimization, differential evolution)

  • ZenQ

    A thread-safe queue faster and more resource efficient than golang's native channels

  • nos

    Module to Automatically maximize the utilization of GPU resources in a Kubernetes cluster through real-time dynamic partitioning and elastic quotas - Effortless optimization at its finest!

  • kube-reqsizer

    A Kubernetes controller for automatically optimizing pod requests based on their continuous usage. VPA alternative that can work with HPA.

  • 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.

    InfluxDB logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better solver alternative or higher similarity.

solver reviews and mentions

Posts with mentions or reviews of solver. We have used some of these posts to build our list of alternatives and similar projects.

Stats

Basic solver repo stats
3
22
0.0
about 1 year ago

irfansharif/solver is an open source project licensed under Apache License 2.0 which is an OSI approved license.

The primary programming language of solver is Go.


Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com