Ipasir Alternatives

Similar projects and alternatives to ipasir

• kotlin-satlib

  1 8 8.5 Kotlin ipasir VS kotlin-satlib

  🗿 SAT solver wrappers for Kotlin

• cadical

  3 309 9.5 C++ ipasir VS cadical

  CaDiCaL SAT Solver

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

  

• cryptominisat

  2 788 9.7 C++ ipasir VS cryptominisat

  An advanced SAT solver

• jnisat

  1 5 0.0 Java ipasir VS jnisat

  Java JNI bindings for the PicoSat and MiniSat SAT solvers

• Sourcetrail

  46 12,302 7.0 C++ ipasir VS Sourcetrail

  Discontinued Sourcetrail - free and open-source interactive source explorer

  

• GuiLite

  7 7,163 3.4 C++ ipasir VS GuiLite

  ✔️The smallest header-only GUI library(4 KLOC) for all platforms

• OpenRCT2

  206 12,889 9.9 C++ ipasir VS OpenRCT2

  An open source re-implementation of RollerCoaster Tycoon 2 🎢

  

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

  

• Dynex-Neuromorphic-Chip

  1 0 6.7 C++ ipasir VS Dynex-Neuromorphic-Chip

  Digital Memcomputing Machine (DMM) based SAT-Solver (by sumitomo72)