CSP in F#

  •        179

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




Related Projects


  •    Python

In this project, students will extend the Sudoku-solving agent developed in the classroom lectures to solve diagonal Sudoku puzzles. A diagonal Sudoku puzzle is identical to traditional Sudoku puzzles with the added constraint that the boxes on the two main diagonals of the board must also contain the digits 1-9 in each cell (just like the rows, columns, and 3x3 blocks). Follow the instructions in the classroom lesson to install and configure the AIND Anaconda environment. That environment includes several important packages that are used for the project.


  •    Java

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

Schedule4Net - a general purpose scheduling framework

  •    CSharp

This is a general scheduling framework able to create schedules using arbitrary constraints written in C#.


  •    Python

In this exercise you will explore Constraint Satisfaction Problems in a Jupyter notebook and use a CSP solver to solve a variety of problems. Please DO NOT publish your work on this exercise.


  •    CSharp

PocketLoop is an addictive game based on Slither Link / Fences / Loop the Loop.

Chess Queens

  •    Java

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.

slither - An open source implementation of the slither.io server

  •    CoffeeScript

This is supposed to be an open source implementation of the slither server built on top of Node.js that emulates the full functionality of the original server. Obviously, if you want to try the latest version, you can clone the master branch but can have bugs because it's a development branch, so don't use it for production.

csp-builder - Build Content-Security-Policy headers from a JSON file (or build them programmatically)

  •    PHP

Easily integrate Content-Security-Policy headers into your web application, either from a JSON configuration file, or programatically. CSP Builder was created by Paragon Initiative Enterprises as part of our effort to encourage better application security practices.

Sudokuki - essential sudoku game

  •    Java

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!

SwiftAutoLayout - Tiny Swift DSL for Autolayout

  •    Swift

SwiftAutoLayout allows you to more effectively communicate the intent of a constraint by making the syntax more similar to the equation that it represents. Use Swift Package Manager or add SwiftAutoLayout.xcodeproj as a subproject and link against either SwiftAutoLayout-iOS.framework or SwiftAutoLayout-Mac.framework depending on the platform.

Yet Another Sudoku App


Yet Another Sudoku App is a project which allows users a chance to visualize games differently than standard sudoku clients. It has a built-in game generator and solver, but it's primary purpose is to assist with solving sudoku puzzles. It's written in c#.

Marc's SuDoKu

  •    Java

Marc's SuDoKu is a complete SuDoKu program with advanced puzzle creation and solving engine (see http://sourceforge.net/projects/sudoku). With Marc's SuDoKu you can play alone or in duel/battle via the included NetPlay. You need Java6 (read the news!)


  •    Python

A multiplatform python- and ncurses-based console game of Sudoku. Sudoku is capable of generating and solving both Sudoku and Samurai Sudoku puzzles on any ncurses-enabled terminal.

Star Sudoku

  •    Java

Java version of the popular Sudoku logic game. Intends to provide an advanced user interface. Create random sudoku grids or design your own to play/solve. Can be used as sudoku generator, solver. Export sudoku grids as PDF, RTF, HTML, XML and CSV

sudoku - Can Neural Networks Crack Sudoku?

  •    Python

Sudoku is a popular number puzzle that requires you to fill blanks in a 9X9 grid with digits so that each column, each row, and each of the nine 3×3 subgrids contains all of the digits from 1 to 9. There have been various approaches to solving that, including computational ones. In this project, I show that simple convolutional neural networks have the potential to crack Sudoku without any rule-based postprocessing. Number of blanks where the prediction matched the solution / Number of blanks.


  •    Java

YACS (Yet Another Constraint Solver) is a Java library and an object-oriented framework for constraint solvers. It supports propagating and solving of constraint satisfaction problems with finite and infinite domains (discrete values and real intervals).


  •    Java

A schema validator for the CLiXML (Constraint Language in XML) schema constraint language. The constraint language allows to do semantic tests on an XML document. The validator is written in java and uses jdom.

VISL Constraint Grammar Compiler

  •    C++

The VISL Constraint Grammar Compiler is a natural language parser generator. It is an implementation of Pasi Tapanainen's CG-2 constraint grammar formalism.