pysat

There are 0 repository under pysat topic.

• pysat / pysatMissions

  Mission planning instrument tools for pysat

  cubesatpysatpythonsatellite
  Language:Python 11
• pysatModels

  pysat / pysatModels

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

  comparisondatadineofmodelpysatpythonsami2tie-gcmvalidation
  Language:Python 8

• pysat / pysatSpaceWeather

  pysat support for space weather indices and data sets

  ionospheremagnetospherespace-weatherheliophysicsforecastingpythonpysat
  Language:Python 7

• pysat / pysatSeasons

  Seasonal Analysis routines for pysat

  pysatseasonal-analysisspace-sciencepython
  Language:Python 3

• Groszczu / numbrix

  Numbrix puzzle SAT encoding

  sat-encodingspysatnumbrix
  Language:Python 2

• Shreyasi2002 / SAT_Solver___Sudoku

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

  sat-solverdpll-algorithmsudoku-solversudoku-generatorpysat
  Language:Python 2

• nnaaaa / EightQueens

  ✏ SAT approach for 8-queens problem

  8-queens-problemcnf-clausessat-solverpysat
  Language:Python 1

• pysat / pysatMadrigal

  Madrigal instrument support for the pysat ecosystem

  satelliteradarjicamarcamadrigaldmsppysat
  Language:Python 1

• seker212 / SI_Lab_Sem6

  Slitherlink Puzzle interpreting as a SAT Problem

  artificial-intelligenceboolean-satisfiabilityuniversity-projectsatpython3pysat
  Language:Python 1

• vvvvvvvector / SAT-solver-graphical-interface-client

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

  pysatreactreact-reduxsat-solversatisfiabilitytypescript
  Language:TypeScript 1

• BhavyaGarg8 / Logic

  pysat
  0

• minhngkh / minesweeper-solver

  A minesweeper solver using different algorithms

  minesweeperminesweeper-solverpysatpython
  Language:Python 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ú

  pysatpythonifce
  Language:Python 0

• se-ke / PseudoFutoshiki

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

  pythonsatpseudo-boolean-solversat-solversfutoshikipysat
  Language:Python 0

• vvvvvvvector / SAT-solver-graphical-interface-server

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

  fastapipysatpythonsatsat-solversatisfiability
  Language:Python 0

• adrianwilker / sudoku-solver

  Sudoku solver using the PySAT toolkit.

  pysatpythonsudokusudoku-solver
  Language:Python

• rickerp / logic-harvesting-scheduling

  Logical programming for a harvesting scheduling problem example

  logic-programmingpysatpythonsatsmtalgorithms-for-computational-logicz3
  Language:Python