Awesome Open Source

Programming Languages

The Top 23 Java Solver Open Source Projects

Open source projects categorized as Java Solver

Categories > Programming Languages > Java

Categories > Mathematics > Solver

Incubator Kie Optaplanner ⭐ 3,241

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

total releases 142most recent commit a month ago

Texasholdemsolverjava ⭐ 700

A Java implemented Texas holdem and short deck Solver

most recent commit 9 months ago

Choco Solver ⭐ 654

An open-source Java library for Constraint Programming

dependent packages 23total releases 34most recent commit 3 months ago

Commons Math ⭐ 541

Apache Commons Math

most recent commit 3 months ago

dependent packages 76total releases 62most recent commit 3 months ago

Incubator Kie Optaplanner Quickstarts ⭐ 307

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

most recent commit 6 months ago

Javasymbolsolver ⭐ 258

*old repository* --> this is now integrated in https://github.com/javaparser/javaparser

dependent packages 6total releases 13most recent commit 6 years ago

Opennars ⭐ 252

OpenNARS for Research 3.0+

most recent commit 3 years ago

Java Constraint Programming solver

total releases 7most recent commit 4 months ago

2048_m A Star ⭐ 206

most recent commit 7 years ago

most recent commit 5 years ago

Msolver ⭐ 165

A small, self-contained minesweeper solver written in Java

most recent commit 7 years ago

Java Smt ⭐ 162

JavaSMT - Unified Java API for SMT solvers.

dependent packages 3total releases 19most recent commit 3 months ago

Formulog ⭐ 137

Datalog with support for SMT queries and first-order functional programming

most recent commit 6 months ago

MonoSAT - An SMT solver for Monotonic Theories

total releases 2most recent commit a year ago

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

most recent commit 3 years ago

Game 2048 Ai Solver ⭐ 65

Implementation of Game 2048 with an Artificial Intelligence Solver written in JAVA.

most recent commit 10 years ago

A dynamic symbolic analysis tool for Java

most recent commit 5 years ago

Fluid Simulator V2 ⭐ 63

Fluid Simulator implementing all the main algorithms like SPH, MPM and PBF

most recent commit 8 years ago

Sudokufx ⭐ 63

AR Sudoku grabber and solver using JavaCV, JavaFX and Scala

most recent commit 3 years ago

Virtual Cell Framework

most recent commit 3 months ago

Jscipopt ⭐ 59

Java interface for the SCIP Optimization Suite

most recent commit 3 months ago

Smtinterpol ⭐ 57

SMTInterpol interpolating SMT solver

dependent packages 1total releases 17most recent commit 4 months ago

The 9 Most Depended On Java Solver Open Source Projects

dependent packages 76total releases 62latest release October 16, 2023most recent commit 3 months ago

Choco Solver ⭐ 654

An open-source Java library for Constraint Programming

dependent packages 23total releases 34latest release November 02, 2023most recent commit 3 months ago

Javasymbolsolver ⭐ 258

*old repository* --> this is now integrated in https://github.com/javaparser/javaparser

dependent packages 6total releases 13latest release December 09, 2017most recent commit 6 years ago

Java Smt ⭐ 162

JavaSMT - Unified Java API for SMT solvers.

dependent packages 3total releases 19latest release June 02, 2023most recent commit 3 months ago

A simple wrapper for linear and mixed integer program solvers

dependent packages 3total releases 10latest release August 24, 2020most recent commit 9 months ago

Choco Graph ⭐ 12

Module to manipulate graph variables

dependent packages 1total releases 6latest release March 05, 2018most recent commit 3 years ago

Smtinterpol ⭐ 57

SMTInterpol interpolating SMT solver

dependent packages 1total releases 17latest release June 08, 2023most recent commit 4 months ago

Momentsketch ⭐ 26

Simplified Moment Sketch Implemntation

dependent packages 1total releases 3latest release January 15, 2019most recent commit 5 years ago

Javasolver ⭐ 6

A very simple Java API for Constraint and Linear Solvers built on top of JSR-331

dependent packages 1total releases 7latest release December 19, 2021most recent commit 9 months ago

The 10 Latest Releases In Java Solver Open Source Projects

Java Constraint Programming solver

total releases 7latest release November 18, 2023most recent commit 4 months ago

Choco Solver ⭐ 654

An open-source Java library for Constraint Programming

dependent packages 23total releases 34latest release November 02, 2023most recent commit 3 months ago

dependent packages 76total releases 62latest release October 16, 2023most recent commit 3 months ago

Cpsolver ⭐ 55

Local-search based solver of Constraint Satisfaction and Optimization Problems

total releases 84latest release October 12, 2023most recent commit 3 months ago

Smtinterpol ⭐ 57

SMTInterpol interpolating SMT solver

dependent packages 1total releases 17latest release June 08, 2023most recent commit 4 months ago

xflp is a heuristic solver for container loading problems in 3D with real world constraints

total releases 3latest release June 03, 2023most recent commit 5 months ago

Java Smt ⭐ 162

JavaSMT - Unified Java API for SMT solvers.

dependent packages 3total releases 19latest release June 02, 2023most recent commit 3 months ago

Fast and easy solver for a lot of Vehicle Routing constraints

total releases 8latest release December 17, 2022most recent commit 10 months ago

MonoSAT - An SMT solver for Monotonic Theories

total releases 2latest release October 31, 2022most recent commit a year ago

zebra4j is a generator and solver library for Zebra puzzles, also knows as "logic grid puzzles".

total releases 5latest release October 16, 2022most recent commit 4 months ago

Popular Programming Languages Categories

Categories

Application Programming Interfaces

Artificial Intelligence

Cloud Computing

Command Line Interface

Computer Science

Configuration Management

Content Management

Data Processing

Integrated Development Environments

Learning Resources

Lists Of Projects

Machine Learning

Operating Systems

Package Managers

Programming Languages

Runtime Environments

Software Architecture

Software Development

Software Performance

Software Quality

Text Processing

User Interface Components

Version Control

Web User Interface

Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source. All rights reserved.