ePrivacy and GPDR Cookie Consent by Cookie Consent

## Satisfiability Solver scripts

#### Text Twist Puzzle Solver

This script takes any input string and displays all the available words that consist of it's letters.All the words are checked using the Microsoft Word dictionary.All combinations from three letters up to the full length of the input string are spell-checked to figure all the meaningful words. Requirements: · MATLAB ...
Matlab

#### Linear Equations Solver Applet

This java applet solves linear equations of two unknown variables. You have to take care of two points, while using this applet. First, you should only enter numbers only as coefficients. You can not use fractions or other expressions as coefficients. If your equations have fractions as coefficients, reduce them to ...
Java

#### BugTrack PHP

BugTrack is a package written in php to track software developer projects and related bugs. It has no source code handling (like cvs), but it main goals are ease of installation, the localization, and the support of bugzilla bug model. ...

#### Open Source Tax Solver

OpenTaxSolver (OTS) is a free program for calculating Tax Form entries and tax-owed or refund-due, such as Federal or State personal income taxes. Two optional graphical front-ends exist, OTS_GUI and OTS_tclgui-0.0. TaxSolver has been updated for the most recent 2006 tax-year for: US 1040 and Schedules A, B, C, & D, ...
C/C++

#### Sode

Sode is a Ruby program that allows you to solve a single (or a system of) ordinary differential equation(s). The Taylor series terms are used to calculate the values of the dependent variables, and also (optionally) the radius of convergence and order of any singularities. These can be used to affect ...
Ruby

#### Constraint based Sudoku Solver

This code uses the constraint package to solve sudoku puzzles. It's designed to be flexible and tested with 9x9 puzzles with 1-9 as possible values. In theory it should be able to solve puzzles of different sizes comprised of letters or symbols instead of numbers. Requirements: · constraint package ...
Python

#### Discrete Event Calculus Reasoner

... It solves problems efficiently by converting them into satisfiability (SAT) problems. Features: - Comes with 99 examples - Comes with 13-page user's manual - Supports deduction/temporal projection, abduction/planning, postdiction, and model finding - Allows default reasoning about action, change, space, and mental states - Useful for ...
C/C++