CSP in F#

  •        0

A small and simple CSP (Constraint Satisfaction Problem) solver library in F#.




comments powered by Disqus

Related Projects

sudoku solveur

This project is a sudoku solver written in Java and with a graphical interface Swing


choco: a java library for constraint satisfaction problems (CSP), constraint programming (CP).

Sudokuki - essential sudoku game

Sudokuki is a free graphical SUDOKU game: Sudokuki solves even the most difficult sudoku grids for you - Generate a sudoku - Play sudoku - Print a sudoku... Available in 15 languages. Just download and play! You can also play with arabic or chinese numbers. Sudokuki is Free Software developed in Java. Have fun!

Sudoku for Java - HoDoKu

Sudoku generator/solver/analyzer written in Java (English and German). Lots of human style techniques (singles, subsets, LCs, fish, wings, uniqueness, coloring, chains, ALS), powerful analyzer (manage multiple solutions for one sudoku). Includes Learning and training modes and a booklet printer.

Sudoku-Puzzle JavaScript

Sudoku is a logical game. The user has to place the numbers 1 to 9 in every row, column and square. But, and that is the challenge, no number can be used twice! Sudoku-Puzzle is a simple JavaScript which generates random puzzles.

Chess Queens

Calculate the number of solutions to place n queens on an n*n chess board, without any queen attacking each other. Options allow using rooks instead of queens, disabling knight attacks and setting the minimum distance between queens.

OVal - object validation framework

OVal is an extensible object validation framework for Java 5 or later. Annotations (@NotNull) or XML configuration files can be used to express class constraints. OVal can optionally use AspectJ to enforce automatic validation (DbC) How to use: http://oval.sourceforge.net/userguide.html OVal is in the central maven repository: lt;dependencygt; lt;groupIdgt;net.sf.ovallt;/groupIdgt; lt;artifactIdgt;ovallt;/artifactIdgt; lt;versiongt;1.82lt;/versiongt; lt;/dependencygt;

RCP Sudoku Game

RCP Sudoku is a Java Application for solving Sudoku puzzles. It features game save/restore, pencil and paper mode and rule based game solving.

Super CSV

A fast, programmer-friendly, free CSV library for Java


A C/gtk+ program that solves sudoku puzzles. Developed under license GPLv3.