Search Results for "solver"
Sort By:
192 projects for "solver" with 2 filters applied:
-
Gen AI apps are built with MongoDB AtlasMongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.
-
Easily build robust connections between Salesforce and any platformLike having Postman inside Salesforce! Declarative Webhooks allows users to quickly and easily configure bi-directional integrations between Salesforce and external systems using a point-and-click interface. No coding is required, making it a fast and efficient and as a native solution, Declarative Webhooks seamlessly integrates with Salesforce platform features such as Flow, Process Builder, and Apex. You can also leverage the AI Integration Agent feature to automatically build your integration templates by providing it with links to API documentation.
-
1
Poetiq
Reproduction of Poetiq's record-breaking submission to the ARC-AGI-1
poetiq-arc-agi-solver is the open-source codebase from Poetiq that replicates their record-breaking submission to the challenging benchmark suite ARC-AGI (both ARC-AGI-1 and ARC-AGI-2). The project demonstrates a system that orchestrates large language models (LLMs) — like those from major providers — with carefully engineered prompting, reasoning workflows, and dynamic strategies, to tackle the abstract, logic-heavy problems in ARC-AGI. -
2
JaCoP is a Java Constraint Programming solver. It provides a significant number of (global) constraints to facilitate efficient modeling of combinatorial problems, as well as modular design of search. Documentation is available at project Web site. Please, note that the sources from version 4.0 are only available at GitHub.
-
3
Open Tax Solver
Calculates income tax form entries, helps do your taxes.
OTS is a safe, secure, easy-to-use program for calculating Tax Return Form entries, and determining your tax-owed or refund-due, for Federal or State personal income taxes. Includes updated versions for US 1040, Schedules A, B, C, D, and for several states. OTS provides both graphical and textual interfaces for quickly filing out your tax forms. --- Best way to download the correct version for your platform -- go to the OTS WEBSITE: =====> ...">
-
4
Evals
Evals is a framework for evaluating LLMs and LLM systems
...It’s designed to let you define “evals” (evaluation tasks) in a structured way and run them against different models or agents, with the ability to score, compare, and analyze results. The framework supports templated YAML eval definitions, solver-based evaluations, custom metrics, and composition of multi-step evaluations. It includes utilities and APIs to plug in completion functions, manage prompts, wrap retries or error handling, and register new evaluation types. It also maintains a growing registry of standard benchmarks or “evals” that users can reuse (for example, tasks measuring reasoning, factual accuracy, or chain-of-thought capabilities). ... -
Transforming NetOps Through No-Code Network Automation - NetBrainNetBrain, founded in 2004, provides a powerful no-code automation platform for hybrid network observability, allowing organizations to enhance their operational efficiency through automated workflows. The platform applies automation across three key workflows: troubleshooting, change management, and assessment.
-
5
Fosite - advection problem solver
numerical simulation code for solving transport equations in 1D/2D/3D
Fosite is a generic framework for the numerical solution of hyperbolic conservation laws in generalized orthogonal coordinates. Its main purpose is the simulation of compressible flows in accretion disks. The underlying numerical solution method belongs to the family of unsplit conservative finite volume TVD schemes. The method is 2nd order accurate in space and uses high order Runge-Kutta and multistep schemes for time evolution. In addition to the pure advection code several source terms... -
6
GNU Prolog
The GNU Prolog native compiler
GNU Prolog is a free implementation (under GPL) of the logic programming language PROLOG. It can compile to native machine code which is extremely fast in execution. Another feature is the included constraint solver. -
7
JSoko
The Sokoban game implemented in Java.
JSoko is a Java program for playing the Sokoban game. It features path finding, auto push, auto solving, undo/redo, deadlock detection, and more.">
-
8
-
9
Minsky
System dynamics program with additional features for economics
Minsky brings system dynamics and monetary modelling to economics. Models are defined using flowcharts on a drawing canvas (as are Matlab's Simulink, Vensim, Stella, etc). Minsky's unique feature is the "Godley Table", which uses double entry bookkeeping to generate stock-flow consistent models of financial flows. Minsky is good for demonstrating mathematics too, with the most "math-like" interface in system dynamics. Sign up to Minsky's Patreon page (for as little as $1 a month) at... -
AI-powered SAST and AppSec platform that helps companies find and fix vulnerabilities.ZeroPath (YC S24) is an AI-native application security platform that delivers comprehensive code protection beyond traditional SAST. Founded by security engineers from Tesla and Google, ZeroPath combines large language models with advanced program analysis to find and automatically fix vulnerabilities.
-
10
ECLiPSe CLP
ECLiPSe Constraint Logic Programming System
The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques. -
11
YACS (Yet Another Constraint Solver) is a Java library and an object-oriented framework for constraint solvers. It supports propagating and solving of constraint satisfaction problems with finite and infinite domains (discrete values and real intervals).
-
12
Sudoku for Eclipse
A free and open source sudoku game for addicts to newbies
...Play with figures, letters or images, on smaller or bigger grids, play on easy or tricky level... S4E run on Windows and Linux. For Eclipse maniacs it’s available as a plugin for Eclipse. It’s pure Java and of course it’s free. Keywords: free sudoku solver game windows Linux download -
13
ransfoil
console to calculate airflow around an airfoil based on RANS approach
RANSFOIL is a console program to calculate airflow field around an isolated airfoil in low-speed, subsonic, transonic or supersonic regime by numerically solving the Reynolds averaged Navier-Stokes (RANS) equations using mature computational fluid dynamics (CFD) method. As postprocess results, the aerodynamic parameters of the airfoil, e.g., lift coefficient and drag coefficient, can be integrated from the airflow distribution near wall boundary. In addition, the coupling between airflow and... -
14
TPLS
High Resolution Direct Numerical Simulation (DNS) of Two-Phase Flows
TPLS is a powerful and efficient 3D Direct Numerical Simulation (DNS) flow solver to simulate multiphase flows at unprecedented detail, speed and accuracy. This flow solver has been developed by Lennon Ó Náraigh (Mathematical Sciences, University College Dublin), Prashant Valluri (Engineering, University of Edinburgh), David Scott, Toni Collis and Iain Bethune (EPCC at the University of Edinburgh) and Peter Spelt (Université de Lyon1, Claude Bernard) under the aegis of several HECToR / ARCHER / ARCHER2 computer time grants, dCSE/eCSE programmes and the EU project EXCELLERAT. ... -
15
Yet Another Python Sudoku puzzle game
A Sudoku puzzle game
A Sudoku puzzle game written in python, also using wxPython and pyGame. -
16
ViennaSHE is a modern semiconductor device simulator for 1D, 2D and 3D device simulation. It relies on deterministic solutions of the Boltzmann Transport Equation using Spherical Harmonics Expansions.
-
17
SMASH
Massively parallel software for quantum chemistry calculations
Scalable Molecular Analysis Solver for High-performance computing systems (SMASH) is massively parallel software for quantum chemistry calculations and released under the Apache 2.0 open source license. It is currently capable of energy, analytical gradient, and geometry optimization calculations of Hartree-Fock theory and Density Functional Theory (DFT), and energy calculations of Second-order Moller-Plesset (MP2) perturbation theory. -
18
lpsolve
Mixed Integer Linear Programming (MILP) solver.
Mixed Integer Linear Programming (MILP) solver lp_solve solves pure linear, (mixed) integer/binary, semi-cont and special ordered sets (SOS) models.lp_solve is written in ANSI C and can be compiled on many different platforms like Linux and WINDOWS This project is moved to github: https://lp-solve.github.io/ -
19
APBS
Biomolecular electrostatics software
This software has moved to http://www.poissonboltzmann.org/. -
20
JNIZ music notation audio to midi
music composition and notation software, audio to midi converter
The Jniz project is stopped. The new Web version is now JnizWeb hosted on Gitlab (under construction): https://gitlab.com/jniz70/jnizweb/ Demo: https://jniz70.gitlab.io/jnizweb/ Jniz is a piece of software designed for musicians as a support tool to the musical composition. It allows you to build and to harmonize several voices according to the rules of classical harmony. Sound/audio-to-Midi converter: real-time conversion of any monophonic sound (voice, instrument etc.) into... -
21
F3DM
Finite Element Method on 3D Meshes
...The minimization is parallelized with OpenMP. Three main features in unstable 1.8.x version (available via GIT): quadratic elements, periodic boundary conditions, and the solver for scalar and electromagnetic wave equations. f3dmgeom is a collection of a few simple tools for creating surface meshes for tetgen. It can handle simple geometries only. -
22
Polynomial System Solver
pss5 is a polynomial system solver, under development.
The objective of this project is to build a general-purpose polynomials system solver. While a few of those programs are available, this one will incorporate recent mathematical advances on mixed volume computations, sparse condition numbers and condition-metric homotopy. -
23
Sudoku-Tk
Sudoku games and puzzle solver
Play and solve sudoku puzzles. Start from an empty grid, generate a puzzle or load one. The game is timed. The generated puzzles have a unique solution. Mistakes (twice the same number on the line / column / row) are highlighted in red. -
24
TSP Solver and Generator
Generate and solve Travelling Salesman Problem tasks
TSPSG is intended to generate and solve Travelling Salesman Problem (TSP) tasks. It uses Branch and Bound method for solving. An input is a number of cities and a matrix of city-to-city travel prices. The matrix can be populated with random values in a given range (useful for generating tasks). The result is an optimal route, its price, step-by-step matrices of solving and solving graph. The task can be saved in internal binary format and opened later. The result can be printed or saved as... -
25
SLAM++
high-performance nonlinear least squares solver for graph problems
SLAM++ is a minimalist implementation of incremental nonlinear least squares, containing lighting fast implementation of linear algebra on sparse block matrices. It is aimed for use in 3D reconstruction or robotics.