sat4j

There are 7 repositories under sat4j topic.

  • super7ramp/croiseur

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

    Language:Java4200

  • SteffenHub/Sat4J-Interface

    A simplified Sat4J Interface.

    Language:Java1200

  • visualon/sat4j.net

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

    Language:PowerShell121

  • leabrodyheine/Mosaic-Game-Logical-Agents

    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.

    Language:Java0100

  • marcmelis/barcenas-world

    Propositional Logic Agents with the JADE platform and SAT4J

    Language:Java0001

  • super7ramp/eternity2-solver

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

    Language:Java0100

  • super7ramp/sudoku4j

    An example of Sudoku solver using Sat4j library.

    Language:Java0200