Hampi is a solver for string constraints. Hampi is designed for constraints generated by program analysis tools, automated bug finders, intelligent fuzzers. Hampi constraints express membership in regular languages and bounded context-free languages. Hampi constraints may contain context-free-lan...

= License = This source code is licensed under the MIT License (see license.txt). = Author = Clinton Sheppard <sheppard@cs.unm.edu> = Description = Solution for [http://cplus.about.com/od/programmingchallenges/a/challenge19.htm Programming challenge 19 - Fill a Grid of Tiles] based on the ...

ParLSS is a parallel version in MPI 1 of the Linear System Solver (LSS), which tries to compute an enclosure for a dense system of linear equations. Such enclosure (i.e. the linear system answer) is determined using the verified computing paradigm supported by the C-XSC library. This way the softwar...

== Triangle Solver == Triangle solver written in C# for the Windows platform and localized to English and Spanish. Works in Windows XP, Vista and 7. Based on the work by Matt Vassilakos-Long (http://www.trig.ionichost.com/index.php) This is my first project in C# and it was an opportunity to...

[http://RoboZZle.com RoboZZle] is a set of puzzles where you should develop programs for a small robot to help it collect all the stars on the puzzle field using specialized programming language. Robot control language is very simple, but with instruction count limited and recursion allowed puzzles ...

Dans le cadre du projet de langage C, nous avons étudié le problème SAT et realisé un programme de résolution de celui-ci. À travers les questions qui nous étaient proposées, nous avons pu remettre en œuvre l'algorithme DPLL (Davis, Putnam, Logemann, Loveland) en employant une structure de données q...

*Mathematica IDSolve* is a Mathematica plug-in for rigorously solving ordinary differential equations using interval arithmetic. The current version is written in C++ and uses MathLink to communicate with Mathematica. It uses the interval ODE solver library VNODE-LP designed by Ned Nedialkov.

We just looked for sth. difficult to Program. So we will hopefully come up with an automatic Solver of Rubics Cubes with a Dimension of 3x3x3.

Creators Eden JnBaptiste Yaz Khabiri