LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

C

pycosat

Python bindings to picosat (a SAT solver)

CEmerging

Stars

—

Forks

—

Contributors

3

Last push

159mo ago

Recent commits

Latest commits.

update changelog
036898bIlan Schnell160mo ago
add example of 8 queens code for Python 3 which uses "yield from"
95d3971Ilan Schnell160mo ago
update documentation
4ec0980Ilan Schnell160mo ago
rewrite 8 queens example to use generators
91a70f7Ilan Schnell160mo ago
update changelog
fe82f83Ilan Schnell160mo ago

add ability to specify clauses as objects which support the iterator protocol

de36986Ilan Schnell160mo ago

DOC: wording, fix typo

d0c0bd3Ilan Schnell160mo ago

update version - update changelog

9963ebcIlan Schnell161mo ago

Top contributors

Builders behind this project.