New customers can spin up VMs, build with AI, and query data at no cost.
Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
Start Free
Save Up to 91% on Cloud Compute With Spot VMs
Automatic sustained-use discounts. One free VM per month. No negotiation needed.
Run batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
Constraint Satisfaction Problems Solver for Binary constraints, input files in XML with the current format XCSP 2.1, adopted for the 2008 CSP/MaxCSP/WCSP solver competition. The solver is in C++ and use the boost library
Parallel IBDWS is an upgrade from IBDWS that utilizes parallel processing. Also, the incorporation of DNA sequence data has been added since the last code release
Sudokusolver v1.0 is an open source utility designed by Ankur Vijay (Messi) to solve all sudoku puzzles of NxN size. It can count and report the total number of possible solutions for a give n puzzle and is capable of reporting unsolvable puzzles.
A tool designed to allow users to perform keystoning of a projection unit when the target surface may be an odd shape or at an angle that is not parallel to the projection lens.
Secure by design, portable by default. Recover clean, fast, anywhere. Start a free trial.
Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
Logtopus, a tool to automatically generate graphical representations of log files. An XML description supplies rules to build cross-references and to seperate parallel processes. An integrated IDE assists in the development of such descriptions.
JASPWrapper is a potential "universal" java wrapper for ASP (answer set programming) inferential engine. It invokes native compiled solver and grounder by Java Virtual Machine and computes answers set analyzing and reifying output stream.
Get to know the global village and other cultures, share your place. BW-Rox, the platform driving www.bewelcome.org and other social networks, aiming to bring people together in real life. Parallel use of contributed work by the developer in encouraged..
QuickMP (Quick Multi-Processing) is a simple cross-platform C++ API for generating parallel for loops in shared-memory programs, similar to OpenMP. It provides automatic scalable performance based on the number of available processors.
This project contains tools for benchmarking and analysis of performance characteristics of parallel programs and platforms, specifically addressing the effect of interference on applications.
yades - "yet another differential equation solver". This Java application solves ordinary differential equations (ODE) numerically and displays the results as tables, graphs, direction fields or vector fields.
The Dolphin Project is intended to be a research project aggregating tools related to Open Source Satisfiability Solver tools and tools related to them like Bounded Model Checkers and Software Verifiers.
ClusterIt is a collection of clustering tools to allow simple administration of groups of UNIX machines. It can also be used to facilitate parallel shell scripting, and compiling.
Do you have a Sudoku to solve? Or want to verify your solution? JSudokuSolver can do this for you! In contrast to other Sudoku solving tools, this program does so by using the same rules a human would. So you can improve your Sudoku solving skills.
Ordinary Differential Equation (ODE) solver for Tcl. Handles both stiff and non-stiff sets of equations; does time-evolved initial value problems and root finding. Based on the popular Lawrence Livermore solver LSODE.
Uma API de C++ multi-plataforma que fornece fácil acesso à porta paralela. Com ela o desenvolvedor não se preocupa com inversões de bits e como o sistema lida com a porta. English: A C++ API for using the PC parallel port written in BR Portuguese
phpSudoku is a small and fast script for a sudoku online-game on your website. It includes 200000 sudoku puzzles and ist very easy to integrate in every website and your existing webdesign. It requires PHP 4 or higher. There is no need of MySQL.
The latest release of php Sudoku with 1.000.000 puzzles is hosted at https://github.com/msoftware/phpsudoku. On sourceforge.net you will only find php sudoku V 1.0.