yuran1811/hcmus-ai-foundations--hashiwokakero 📦

A Hashiwokakero Solver using PySAT, DPLL, A* and Brute-force with friendly CLI tools for solving and doing benchmark

Language: Python - Size: 2.38 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

GutBla/PROJECT_SATsolver_Enigmas_y_Misterios

Un juego de misterio donde los jugadores resuelven tres casos usando lógica proposicional y un SAT solver. A partir de declaraciones y pistas, deben deducir al culpable en escenarios como un robo en un museo, un asesinato en una mansión, y un caso de trampa en un examen.

Language: Python - Size: 13.8 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

pysat/pysatMissions

Mission planning instrument tools for pysat

Language: Python - Size: 5.88 MB - Last synced at: 23 days ago - Pushed at: 4 months ago - Stars: 12 - Forks: 1

pysat/pysatSpaceWeather

pysat support for space weather indices and data sets

Language: Python - Size: 6.39 MB - Last synced at: 26 days ago - Pushed at: 4 months ago - Stars: 10 - Forks: 5

pysat/pysatSeasons

Seasonal Analysis routines for pysat

Language: Python - Size: 2.96 MB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 3 - Forks: 1

PhuocPhat1005/Project_2_AI_Wumpus_World_Game

The purpose of this project is to design and implement a logical agent that navigates through the Wumpus World, a partially-observable environment.

Language: Python - Size: 13.1 MB - Last synced at: about 2 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

BhavyaGarg8/Logic

Size: 226 KB - Last synced at: 9 months ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

vvvvvvvector/SAT-solver-graphical-interface-client

SAT-solver graphical interface for Web [client-side]

Language: TypeScript - Size: 21.1 MB - Last synced at: 5 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

vvvvvvvector/SAT-solver-graphical-interface-server

SAT-solver graphical interface for Web [server-side]

Language: Python - Size: 36.1 KB - Last synced at: 5 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

minhngkh/minesweeper-solver 📦

A minesweeper solver using different algorithms

Language: Python - Size: 21.5 KB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

renercrisostomo/Projeto-Logica-pySAT

Repositório do projeto da disciplina Lógica para computação do 4º semestre do curso Ciências da computação do IFCE Maracanaú

Language: Python - Size: 38.1 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

seker212/SI_Lab_Sem6 📦

Slitherlink Puzzle interpreting as a SAT Problem

Language: Python - Size: 41 KB - Last synced at: over 1 year ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 1

pysat/pysatMadrigal

Madrigal instrument support for the pysat ecosystem

Language: Python - Size: 6.92 MB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 1 - Forks: 1

Groszczu/numbrix

Numbrix puzzle SAT encoding

Language: Python - Size: 33.2 KB - Last synced at: about 1 month ago - Pushed at: almost 4 years ago - Stars: 2 - Forks: 0

adrianwilker/sudoku-solver

Sudoku solver using the PySAT toolkit.

Language: Python - Size: 3.91 KB - Last synced at: about 2 months ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

pysat/pysatModels

Interface for model analysis and model-data comparisons within the pysat ecosystem

Language: Python - Size: 3.7 MB - Last synced at: 3 days ago - Pushed at: about 2 months ago - Stars: 8 - Forks: 3

rickerp/logic-harvesting-scheduling

Logical programming for a harvesting scheduling problem example

Language: Python - Size: 829 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

nnaaaa/EightQueens

✏ SAT approach for 8-queens problem

Language: Python - Size: 64.8 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

Shreyasi2002/SAT_Solver___Sudoku

SAT Solver based on DPLL algorithm and Jersolow-Wang 2-sided heuristic. Sudoku Pair Solver and Generator using SAT Solver.

Language: Python - Size: 305 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

se-ke/PseudoFutoshiki

Algorithm for solving the Latin Square puzzle Futoshiki using pseudo-boolean constraints and a SAT solver

Language: Python - Size: 3.46 MB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0