LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Python

CNF-generators

CNF generators for various problems

PythonEmerging

Stars

—

Forks

—

Contributors

1

Last push

11mo ago

Recent commits

Latest commits.

basic snake-in-box encoding
dafc8e2Jonathan Chung11mo ago
add reproducible setup using poetry
6f32616Jonathan Chung11mo ago
Merge pull request #1 from chjon/reorg
5542e0cJonathan Chung11mo ago
move game encoders
099f73eJonathan Chung11mo ago
add partial solver for battleships
3f2c013Jonathan Chung27mo ago

add solver for diamond25 game

00db9a0Jonathan Chung27mo ago

add solver for bridges game

9a20ccbJonathan Chung27mo ago

add requirements.txt

06a34c3Jonathan Chung27mo ago

Top contributors

Builders behind this project.