An open-source Java library for Constraint Programming
-
Updated
Jul 3, 2024 - Java
An open-source Java library for Constraint Programming
Java web and command line applications demonstrating various security topics
Burp and ZAP plugin to analyse Content-Security-Policy headers or generate template CSP configuration from crawling a Website
SOMns: A Newspeak for Concurrency Research
Constraint Solver ACE
Provides support for configuring various http headers that are important for web services.
Crosswords puzzle generator and publisher using Constraints Satisfaction Problem (CSP) technique. With minimal backtracks.
Tiny framework for solving constraint satisfaction problems (CSP) with discrete and finite domains. This is a Java-based solution which is written in a functional programming style. Features Sudoku as an example application.
A high-level, solver-independent, Java constraint model for constraint satisfaction problems in the integer domain.
sudoku resolving using AI algorithms
Examination Timetabling using CSP Solver
A project using a combination of genetic algorithm and greedy approaches in order to find best project schedule for defined problem constraints
A simple Eight Queens solver built with Java for CSE 486.
This is a homework about Formulating a game called "Magnet Puzzle" into CSP, then using Backtracking, Forward Checking to solve it. Various heuristics such as MRV, LCV, Arc consistency (AC3) is used to improve the searching performance. This homework is a part of many projects in a Fundamentals to AI course @ FUM.
Small library of concepts in the theory of Constraint Satisfaction Problem and Universal Algebra
problema n-rainhas usando técnicas de satisfação de restrições
Contains all the assignments of the course CSE-318 offered in CSE, BUET
Add a description, image, and links to the csp topic page so that developers can more easily learn about it.
To associate your repository with the csp topic, visit your repo's landing page and select "manage topics."