pysat 开源项目推荐（31 个）

hadipourh /autoguess

一个易于使用、通用且开源的工具，用于解决猜测与确定问题

pysat /pysatMissions

Mission planning instrument tools for pysat

pysat /pysatSpaceWeather

pysat support for space weather indices and data sets

pysat /pysatModels

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

pysat /pysatSeasons

Seasonal Analysis routines for pysat

VictorNguyenLPN /csp-matrix-coloring

Nonogram solver using PySAT - converts puzzles to SAT problems and visualizes the solution

yuran1811 /hcmus-ai-foundations--hashiwokakero

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

pysat /pysatMadrigal

Madrigal instrument support for the pysat ecosystem

Groszczu /numbrix

Numbrix puzzle SAT encoding

Apollo87z /sat-dependency-resolver

Universal dependency resolver using SAT solvers - works for software packages, course prerequisites, books, certifications, and any system with logical dependencies

Shreyasi2002 /SAT_Solver___Sudoku

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

seker212 /SI_Lab_Sem6

Slitherlink Puzzle interpreting as a SAT Problem

vvvvvvvector /SAT-solver-graphical-interface-client

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

rickerp /logic-harvesting-scheduling

Logical programming for a harvesting scheduling problem example

JoaoRuss0 /alc

Algorithms for Computational Logic

ysmouhib /sudoku-sat

SAT-based sudoku solver (PySAT): any size n = k², detects unsolvable puzzles, checks uniqueness. Every solution verified by an independent non-SAT checker.

rennaMAhcuS /CS433Assignments

CS433: Automated Reasoning

se-ke /PseudoFutoshiki

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

BhavyaGarg8 /Logic

该项目在 GitHub 上没有填写描述

adrianwilker /sudoku-solver

Sudoku solver using the PySAT toolkit.