Backtrack-rs Alternatives

Similar projects and alternatives to backtrack-rs based on common topics and language

• Choco

  4 668 8.8 Java backtrack-rs VS Choco

  An open-source Java library for Constraint Programming

  

• ddo

  2 53 7.0 Rust backtrack-rs VS ddo

  DDO a generic and efficient framework for MDD-based optimization.

• WorkOS

  workos.com sponsored

  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.

  

• CreuSAT

  8 581 6.9 Rust backtrack-rs VS CreuSAT

  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

• screwsat

  2 36 2.4 Rust backtrack-rs VS screwsat

  A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.

• vole

  1 6 4.5 Rust backtrack-rs VS vole

  A GAP package for backtrack search in permutation groups with graphs (by peal)

  

• optimization-engine

  4 463 8.2 Rust backtrack-rs VS optimization-engine

  Nonconvex embedded optimization: code generation for fast real-time optimization

• postflop-solver

  2 201 5.9 Rust backtrack-rs VS postflop-solver

  [Development suspended] An efficient open-source postflop solver library written in Rust

• InfluxDB

  www.influxdata.com sponsored

  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.