Home > satpy

satpy

Satpy is a project mainly written in ..., it's free.

SAT solver in Python

SAT Solver in Python

This project is simple demonstration of DPLL algorithm for Boolean Satisfiability Problem written in Python.

Requirements

BitVector

Acknowledgement

This project is part of A4M33AU: Automatic Reasoning course at Faculty of Electrical Engineering of Czech Technical University.

Previous:ap3t