Advertisement
Partition Logic
Partition Logic is a standalone partitioning tool for PC-compatible computers....
Tool standalone partitioning standalone partitioning partitioning tool
Logic Reasoner
Logic Reasoner is a theorem prover for first-order logic with equality....
calculus theorem prover formula representation subsumption resolution theorem
Math::Logic
Math::Logic is a Perl module that provides pure 2, 3 or multi-value logic....
mathematical Perl module multi-value logic mathematical values multi-value
Free Logic Form
Free Logic Form is a system for generating logic forms of English sentences....
Fuzzy logic trees
Fuzzy logic trees are a machine learning method that applies the principles of fuzzy logic to standard logical decision trees....
Logic File System
The filesystem of discriminating hackers....
Math::Logic::Predicate
Math::Logic::Predicate is a Perl module to manage and query a predicate assertion database....
query Perl module manage manage predicate assertion query predicate assertion
Advertisement
FLTK Sudoku
FLTK Sudoku is an implementation of the popular Sudoku game....
Sudoku for Eclipse
An implementation of the popular sudoku game for the Eclipse platform....
Sudoku Generator
Sudoku Generator is a free sudoku generator that has 3 levels of difficulties....
Sudoku Epic
Play billions of sudoku puzzles on your PC and Mac...
Sudoku Susser
Sudoku Susser is a free program that helps you play Sudoku....
Sudoku Savant
Sudoku Savant is a simple GUI-driven application to solve and generate Sudoku puzzles through logical means....
A Sudoku Solver in C
A Sudoku Solver in C is a console-based Linux program, written in C language, that solves Su Doku puzzles using deductive logic....
php Sudoku
php Sudoku is a Web-based sudoku game that includes 200,000 sudoku puzzles....
Python Sudoku
Python Sudoku is a text and graphical program (gtk interface) to create or resolve sudokus....