123 Open source projects that are alternatives of or similar to Java Smt

The Operator Splitting QP Solver

Kryptonite for Kafka is a client-side 🔒 field level 🔓 crypto library for Apache Kafka® currently focused on Kafka Connect scenarios. It's an ! UNOFFICIAL ! community project

pySMT: A library for SMT formulae manipulation and solving

A Go library that implements a Sparse Merkle tree for a key-value map.

Lp modeler written in Rust

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

📦 一个很棒的 clickOutside 库，它解决了 iframe 无法触发 clickOutside 的问题，并且它支持分组绑定处理。A good clickOutside library, which solves the problem that iframe cannot trigger clickOutside, and it supports grouping binding processing.

Liquid Types For Haskell

Minesweeper player, solver and analyser in javascript

Algebraic Multigrid Solvers in Python

Open-source symbolic algebra library for C# and F#. One of the most powerful in .NET

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

Vehicle Routing Open-source Optimization Machine

ConstraintSolver in Julia: Blog posts ->

A python Linear Programming API

An open-source solver tool for the Maxwell-Bloch equations.

CAD files for various boards, components and parts

Adaptive solver for stiff systems of ODEs using semi-implicit Runge-Kutta method of third order

SMT Solver for Nonlinear Theories of Reals

Large scale convex optimization solvers in julia

Minimal Inverse Kinematics library

COIN-OR branch and cut (CBC) bindings for R

Flutter-Python rubiks cube solver.

Rust Bindings to interact with SMTLIB2 compliant solvers

SMACK Software Verifier and Verification Toolchain

A Java implemented Texas holdem and short deck Solver

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

Automatic Exploit Generation (AEG) and remote flag capture for exploitable CTF problems

OpenNARS for Research 3.0+

Systematic conservation prioritization in R

A solver for nonlinear, dynamic, stochastic, rational expectations equilibrium models

An open-source Java library for Constraint Programming

[INACTIVE] A collection of various machine learning solver. The library is an object-oriented approach (baked with Typescript) and tries to deliver simplified interfaces that make using the algorithms pretty simple.

Automatic program repair and patch generation system for Java based on dynamic analysis and code synthesis with SMT, developed at University of Lille and Inria, France.

Mine the Genesis Block for your Zcashy altcoin

A Julia package for disciplined convex programming

A very fast japan crosswords (aka nonograms) solver and generator

A Bundle Adjustment solver for MatchMove related tasks.

ROS-compatible Eigen-based Goldfarb-Idnani quadratic programming solver

Easy to use and accurate hand eye calibration which has been working reliably for years (2016-present) with kinect, kinectv2, rgbd cameras, optical trackers, and several robots including the ur5 and kuka iiwa.

First-order conic solver for convex optimization problems

HPC solver for nonlinear optimization problems

A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.

Simple Theorem Prover, an efficient SMT solver for bitvectors

A lazy-grounding Answer-Set Programming system

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

2D solver for Euler equations in quadrilateral grid, using kinetic flux vector splitting scheme, written in OOP F2003

"SAT/SMT by example" free ebook

Solving a TSP with the CPLEX C++ API.

VISual MAth - an equation solver and visualizer

Jupyter notebooks for tutorial on the Z3 SMT solver

a symbolic math expression evaluator for javascript

Semidefinite programming optimization solver

The Operator Splitting QP Solver

zzllrr mather(an offline tool for Math learning, education and research)小乐数学，离线可用的数学学习（自学或教学）、研究辅助工具。计划覆盖数学全部学科的解题、作图、演示、探索工具箱。目前是演示Demo版（抛转引玉），但已经支持数学公式编辑显示，部分作图功能，部分学科，如线性代数、离散数学的部分解题功能。最终目标是推动专业数学家、编程专家、教育工作者、科普工作者共同打造出更加专业级的Mather数学工具

A blackbox mutational fuzzer for detecting critical bugs in SMT solvers

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

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

a lightweight C++17 library of numerical optimization methods for nonlinear functions (Including L-BFGS-B for TensorFlow)

Distributed and Graph-based Structure from Motion