119 Open source projects that are alternatives of or similar to libsmt.rs

WarpPI Calculator, Step-by-step algebra calculator for Raspberry Pi. (abandoned project)

COSMO: Accelerated ADMM-based solver for convex conic optimisation problems (LP, QP, SOCP, SDP, ExpCP, PowCP). Automatic chordal decomposition of sparse semidefinite programs.

Simple python library for calculating the modes of electromagnetic waveguides using finite difference frequency domain method.

A Hypixel Skyblock Utilities mod

Systematic conservation prioritization in R

A python script that solves ruzzle boards

AI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.

O(N log N)-space IPC solver in OCaml

HPC solver for nonlinear optimization problems

Bulirsch-Stoer integration of systems of ordinary differential equations in JavaScript

AR Sudoku grabber and solver using JavaCV, JavaFX and Scala

Flutter-Python rubiks cube solver.

fdtd3d is an open source 1D, 2D, 3D FDTD electromagnetics solver with MPI, OpenMP and CUDA support for x86, arm, arm64 architectures

An interactive development environment for SMT-LIB files and Z3

Solves the traveling salesman problem using simulated annealing.

cube.js -- JavaScript library for modeling and solving the 3x3x3 Rubik's Cube

Rust bindings for the Voikko library

A framework for hydrodynamics explorations and prototyping

A VIM plugin that adds support for the SMT-LIB2 format (including Z3's extensions)

Polyglot solutions for www.projecteuler.net mathematical challenges

Hodoku is a solver/generator/trainer/analyzer for standard sudoku.

VISual MAth - an equation solver and visualizer

Program for generating and solving numberlink / flow free puzzles

A Bundle Adjustment solver for MatchMove related tasks.

A simple but powerful C++ DAE (Differential Algebraic Equation) solver

GLPK for browser & node

The Operator Splitting QP Solver

Rust bindings for liboqs

Mongo Rust driver built on top of the Mongo C driver

Idris tactics for (commutative) monoids

Package management library.

Constraint Optimization with Lava

A modular sat/smt solver with proof output.

FEATool - "Physics Simulation Made Easy" (Fully Integrated FEA, FEniCS, OpenFOAM, SU2 Solver GUI & Multi-Physics Simulation Platform)

A Python (v3.6.5) package that provides a set of basic functions commonly used in integrated photonics.

a C# wrapper for CapMonster Cloud API

SUNDIALS is a SUite of Nonlinear and DIfferential/ALgebraic equation Solvers. This is a mirror of current releases, and development will move here eventually. Pull requests are welcome for bug fixes and minor changes.

A cloth and soft body simulation library, using position based dynamics.

Logic programming in Swift

Backtracking behaviour to solve discrete problems by brute force

Quadratic Programming solvers in Python with a unified API

Julia Wrapper for CSDP (https://projects.coin-or.org/Csdp/)

A fast, accurate direct solver and determinant computation for dense linear systems

C++ L-BFGS implementation using plain STL

JavaSMT - Unified Java API for SMT solvers.

A Rust wrapper of CTP API

Frequency-domain photonic simulation and inverse design optimization for linear and nonlinear devices

OptaPlanner quick starts for AI optimization: many use cases shown in many different technologies.

Fast linear assignment problem (LAP) solvers for Python based on c-extensions

Self advection, external force and pressure solve to a velocity field represented by a MaC grid.

A python Linear Programming API

Lattice-based integer linear programming solver

a memory-bound graph-theoretic proof-of-work system

General meta-Heuristic Optimization Solving Toolkit

A Python linear programming interface library

Semidefinite programming optimization solver

Safe Rust wrapper for the MozJPEG library

Blend2D Bindings for Rust

Linear programming solvers in Python with a unified API

A Python API for the MiniSat and MiniCard constraint solvers.