python-sat | pypi | Package Usage

lederg/learningCNF

==0.1.3.dev21 requirements.txt

Size: 273 MB - Last synced: 4 months ago - Pushed: over 1 year ago

stacs-cp/demystify

* setup.py

Size: 41.8 MB - Last synced: 29 days ago - Pushed: 2 months ago

qqq-wisc/satmap

* requirements.txt

Size: 1.39 MB - Last synced: 3 months ago - Pushed: 4 months ago

j2kun/pmfp-code

Source code for the book Practical Math for Programmers

==0.1.7.dev3 requirements.txt

Size: 6.57 MB - Last synced: 11 days ago - Pushed: 11 days ago

ALIGN-analoglayout/ALIGN-public

* dev/Experimental/Pysat/tally/setup.py

Size: 324 MB - Last synced: 26 days ago - Pushed: 26 days ago

lowRISC/synfi

OpenTitan FI formal verification framework

==0.1.7.dev14 requirements.txt

Size: 433 KB - Last synced: about 2 months ago - Pushed: 9 months ago

saturnin13/SATs-graph-neural-network-solver

A package containing several modulable part to provide a foundation and foster further research in SATisfiability problem solving with Graph Neural Network.

==0.1.5.dev3 requirements.txt

Size: 3.22 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

meelgroup/manthan

Manthan for Boolean function synthesis

* requirements.txt

Size: 50.3 MB - Last synced: 8 months ago - Pushed: 8 months ago

IMGIITRoorkee/omniport-backend

The Django backend of the one true portal for any and every educational institute

0.1.7.dev18 poetry.lock
^0.1.7-alpha.15 pyproject.toml

Size: 4.31 MB - Last synced: about 1 month ago - Pushed: 4 months ago

johannaSommer/generalization-neural-co-solvers

Official Repository for the ICLR 2022 paper "Generalization of Neural Combinatorial Solvers through the Lens of Adversarial Robustness"

==0.1.7.dev15 requirements.txt

Size: 41.9 MB - Last synced: 11 months ago - Pushed: over 1 year ago

IAIK/coco-alma

CocoAlma is an execution-aware tool for formal verification of masked implementations

==0.1.7.dev10 requirements.txt

Size: 4.5 MB - Last synced: about 2 months ago - Pushed: 7 months ago

cryhot/samp2symb

Python library for inferring symbolic structures (e.g., Linear temporal logic formulas, Deterministic Finite Automata) from examples (sample of traces).

* requirements.txt

Size: 105 KB - Last synced: 24 days ago - Pushed: 3 months ago

jstettner/neat-tetris-domination

==0.1.5.dev6 requirements.txt

Size: 45.8 MB - Last synced: about 1 year ago - Pushed: over 3 years ago

dejuata/ceres_back

API CERES APP

==0.1.6.dev9 Pipfile
==0.1.6.dev9 Pipfile.lock

Size: 134 KB - Last synced: about 1 month ago - Pushed: over 2 years ago

weytho/AttackTree

* requirements.txt

Size: 2.39 MB - Last synced: 11 months ago - Pushed: almost 2 years ago

emmahokken/symbolic-systems-1

Programming assignments for the UvA course Symbolic Systems 1.

==0.1.5.dev14 hw1/requirements.txt

Size: 49.8 KB - Last synced: 27 days ago - Pushed: over 1 year ago

kg86/satcomp

* Pipfile
==0.1.7.dev18 Pipfile.lock
0.1.7.dev11 data/misc/Pipfile

Size: 160 KB - Last synced: 9 months ago - Pushed: over 1 year ago

danielrubak/tseitin-transformation

==0.1.5.dev14 requirements.txt

Size: 74.1 MB - Last synced: 9 months ago - Pushed: over 1 year ago

ctlab/DFA-Inductor-py

A python tool for solving minDFA problem.

==0.1.5.dev14 Pipfile.lock
==0.1.5.dev14 Pipfile.lock
==0.1.5.dev14 requirements-dev.txt
==0.1.5.dev14 requirements.txt

Size: 85 KB - Last synced: 11 days ago - Pushed: about 3 years ago

cda-tum/fiction

An open-source design automation framework for Field-coupled Nanotechnologies

==0.1.6.dev6 libs/mugen/requirements.txt

Size: 19.1 MB - Last synced: 26 days ago - Pushed: 26 days ago

BensonKHuang/StableConfigs

Repository for tool to generate Stable Configurations of Monomers (DNA) by reducing the problem to NP-Complete SAT.

==0.1.5.dev10 requirements.txt
==0.1.5.dev10 server/requirements.txt
* setup.py

Size: 2.23 MB - Last synced: about 1 month ago - Pushed: about 1 month ago

jpsety/sensitivity_attack

Sensitivity-Based Attack on Strip-Locking Circuits

==0.1.5.dev6 requirements.txt

Size: 173 KB - Last synced: about 1 year ago - Pushed: over 1 year ago

stacs-cp/Demystify-Visualiser

A React-based tool that provides a visualisation of the human-understandable solutions to "pen and paper" puzzles produced by the "Demystify" solver.

==0.1.7.dev5 server/requirements.txt

Size: 18.2 MB - Last synced: 9 months ago - Pushed: over 1 year ago

andertavares/mlbf

Machine Learning over Boolean Formulas

* docker/environment.yml

Size: 231 MB - Last synced: about 1 month ago - Pushed: almost 2 years ago

CIDARLAB/ibis

Graph-based Datastructure Library for Genetic and Boolean Circuits.

0.1.7.dev4 poetry.lock

Size: 945 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago

edgarsoliveira1/Racioc-nio-automatizado---Projeto-Alternativo

Using automated reasoning to extract rules for data for classification of pathologies of column.

* requirement.txt

Size: 633 KB - Last synced: 11 months ago - Pushed: almost 2 years ago

mluszczyk/deepsat

Solve SAT with neural networks

* requirements.in
==0.1.3.dev25 requirements.txt

Size: 33.5 MB - Last synced: 9 months ago - Pushed: over 2 years ago

neuralguidanceforsat/neuralguidanceforsat

* requirements.in
==0.1.3.dev25 requirements.txt

Size: 2.73 MB - Last synced: about 1 year ago - Pushed: over 2 years ago

DennisCraandijk/DL-abstract-argumentation

Neuro-symbolic approaches to reasoning problems from abstract argumentation

* requirements.txt

Size: 21.8 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

DanielKlarenbach/WeghtedPartialMaxSatAPI

==0.1.7.dev2 requirements.txt

Size: 18.6 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago

VincentDerk/BU-MiF

The code used to conduct the experiments for the UAI2020 paper: "Ordering Variables for Weighted Model Integration".

==0.1.5.dev3 setup.py

Size: 210 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago

rogen-george/Variable-Elimination-SAT

==0.1.5.dev14 requirements.txt

Size: 3.46 MB - Last synced: 9 months ago - Pushed: 11 months ago

alexeyignatiev/minds

SAT-based miner of smallest size decision sets

>=0.1.6.dev11 requirements.txt
* setup.py

Size: 56.6 KB - Last synced: 6 days ago - Pushed: over 3 years ago

portmod/portmod

A cross-platform CLI package manager for mods.

* requirements.txt
* setup.py
>=0.1.5.dev12 setup.py

Last synced: 22 days ago

vaibhavkarve/normal-form

A Python package for working with Conjunctive Normal Form (CNFs) and Boolean Satisfiability (SAT)

0.1.7.dev19 poetry.lock
^0.1.7-dev.15 pyproject.toml

Size: 941 KB - Last synced: 2 days ago - Pushed: 9 months ago

algebravic/networks

^0.1.7-alpha.18 pyproject.toml

Size: 8.79 KB - Last synced: 26 days ago - Pushed: almost 2 years ago

Imperial-CMTH/koala

🐨 Koala 🎋 - A package for working with amorphous 2d tight binding systems.

* requirements.txt
* setup.py

Size: 123 MB - Last synced: about 2 months ago - Pushed: about 2 months ago

mvcisback/py-aiger-cnf

Code for transforming aiger expression into an equi-satisifabile aiger expression in CNF form.

0.1.7.dev12 poetry.lock

Size: 175 KB - Last synced: about 24 hours ago - Pushed: 2 months ago

mvcisback/memreps

0.1.7.dev10 poetry.lock

Size: 157 KB - Last synced: 12 months ago - Pushed: over 1 year ago

tudelft-cda-lab/ROCT

[AAAI 2022] Robust Optimal Classification Trees Against Adversarial Examples

==0.1.7.dev10 requirements.txt
* setup.py

Size: 140 KB - Last synced: about 19 hours ago - Pushed: about 2 years ago

jmhorcas/fm_characterization

Characterization and visualization of feature models using a fact label

==0.1.7.dev16 requirements.txt

Size: 21.9 MB - Last synced: 3 months ago - Pushed: 3 months ago

Shrotri/clime

Constraint-Driven Explainer for Machine Learning

* setup.py

Last synced: over 1 year ago

MaxiBoether/mis-benchmark-framework

A benchmarking suite for maximum independent set solvers.

* environment.yml

Size: 68.4 KB - Last synced: 3 months ago - Pushed: 3 months ago

diverso-lab/fm_montecarlo

MonteCarlo techniques applied to feature models.

==0.1.5.dev16 requirements.txt

Size: 20.6 MB - Last synced: 10 months ago - Pushed: over 1 year ago

jwang541/Minesweeper-Solver-SAT

💣 Minesweeper solver implemented using pysat and visualized using pygame. Also a version of Minesweeper with no guessing needed!

* requirements.txt

Size: 184 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago

jbaquerot/cardinality-constraint-sat

Cardinality Constraints for SAT Algorithm that, given a cardinality constraint, generates a conjunctive normal form in DIMACS format.

* requirements.txt

Last synced: over 1 year ago

arielmiki/tugas-akhir

Tugas Akhir Repository

==0.1.4.dev23 requirements.txt

Size: 258 KB - Last synced: about 1 year ago - Pushed: over 1 year ago

wouterpolet/automated-floor-plan-generation

* Pipfile
==0.1.7.dev4 Pipfile.lock

Last synced: over 1 year ago

cvidalmsu/A-Python-FD-implementation

* requirements.txt

Size: 7.22 MB - Last synced: about 1 year ago - Pushed: over 2 years ago

neuralheuristicsforsat/neuralheuristicsforsat

* requirements.in
==0.1.3.dev25 requirements.txt

Size: 2.73 MB - Last synced: about 1 year ago - Pushed: over 2 years ago

mvcisback/dfa-identify

Python library for identifying/learning DFAs from labeled examples by reduction to SAT.

0.1.7.dev11 poetry.lock
^0.1.7.dev11 pyproject.toml

Size: 275 KB - Last synced: 4 days ago - Pushed: 2 months ago

jesse-michael-han/lean-step-public

Proof artifact co-training for Lean

==0.1.6.dev6 python/requirements.txt

Size: 35.2 KB - Last synced: about 1 month ago - Pushed: over 1 year ago

meelgroup/justicia

A formal approach for verifying fairness in machine learning.

==0.1.7.dev1 requirements.txt

Size: 4.52 MB - Last synced: 2 months ago - Pushed: almost 2 years ago

allenai/procthor

🏘️ Scaling Embodied AI by Procedurally Generating Interactive 3D Houses

* setup.py

Size: 3.96 MB - Last synced: about 1 month ago - Pushed: about 1 year ago

flardeux/NFA-CNF-python

==0.1.6.dev12 requirements.txt

Last synced: over 1 year ago

mvcisback/mce-spec-inference

0.1.5.dev13 poetry.lock

Size: 614 KB - Last synced: about 2 months ago - Pushed: almost 4 years ago

trustablefox/foxplainer

==0.1.7.dev16 requirements.txt

Size: 62.5 MB - Last synced: 8 months ago - Pushed: 8 months ago

chipsalliance/fpga-tool-perf

FPGA tool performance profiling

==0.1.7.dev19 conf/requirements.txt

Size: 9.69 MB - Last synced: about 1 month ago - Pushed: 3 months ago

Columpio/logic-course

Homeworks for a logic course

==0.1.4.dev17 requirements.txt

Last synced: over 1 year ago

izzayacine/xpg

A Python package for explaining graph-based classifiers

>=0.1.6.dev14 requirements.txt
* setup.py

Size: 36.1 KB - Last synced: 15 days ago - Pushed: almost 2 years ago

mvcisback/py-AIGAR

py-AIGAR: Tools for analyzing aiger circuits.

==0.1.3.dev25 requirements.txt

Size: 79.1 KB - Last synced: 15 days ago - Pushed: almost 2 years ago

mvcisback/py-aiger-coins

Library for creating circuits that encode discrete distributions. The name comes from the random bit model of drawing from discrete distributions using coin flips.