A crossword generation tool - Read-only mirror of https://gitlab.com/super7ramp/croiseur

Sat4j is a full featured boolean reasoning library designed to bring state-of-the-art SAT technologies to the Java Virtual Machine.

This project implements an intelligent agent to solve the Mosaic logic puzzle using strategies such as Single Point Strategy, Satisfiability Test Reasoning (with DNF and CNF encoding), and Probabilistic Reasoning. It utilizes frameworks and libraries including Java, LogicNG, and SAT4J for logical reasoning and satisfiability problems.

A simplified Sat4J Interface.

Propositional Logic Agents with the JADE platform and SAT4J

A solver for (reduced versions of) the Eternity II puzzle

An example of Sudoku solver using Sat4j library.