Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/607011/still-life
A solver for a logic puzzle implemented with PySAT
https://github.com/607011/still-life
puzzle-solver python python3 sat-solver
Last synced: about 5 hours ago
JSON representation
A solver for a logic puzzle implemented with PySAT
- Host: GitHub
- URL: https://github.com/607011/still-life
- Owner: 607011
- License: mit
- Created: 2024-07-30T13:26:04.000Z (3 months ago)
- Default Branch: main
- Last Pushed: 2024-08-02T14:02:26.000Z (3 months ago)
- Last Synced: 2024-08-03T09:48:55.962Z (3 months ago)
- Topics: puzzle-solver, python, python3, sat-solver
- Language: Python
- Homepage:
- Size: 6.84 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Solve a logic puzzle with PySAT
[A post in the Subreddit "puzzles"](https://www.reddit.com/r/puzzles/s/uCq0PnahSw) contained the following puzzle:
Charlotte is going to paint a still life, but first she has to set the scene.
She has the following eight items: red grapes, a bottle of red wine, a banana,
a sunflower, a green apple, a green vase, a pine cone and a wooden bowl.
From the following clues, can you determine which objects Caroline will select?
- She will pick exactly one fruit.
- She will pick the vase only if she also picks the sunflower.
- She will pick exactly two man-made objects, but only one made of glass.
- She will pick exactly one item of each color.
Clarifications:
- Fruit: grapes, banana and apple.
- Man-made: bottle, vase and bowl.
- Red: grapes and wine.
- Green: apple and vase.
- Yellow: banana and sunflower.
- Brown: pine cone and bowl.
A puzzle of this kind is perfect to be solved by a SAT solver. That's a program that determines whether a given Boolean formula can be satisfied by assigning truth values to its variables, effectively finding solutions to complex logical problems.
You just have to transfer the rules given into constraints that can be fed into the solver and run it.
The Python script in [still_life.py](still_life.py) describes and solves the above puzzle. It uses [PySAT](https://pysathq.github.io/) to do so.
## Prerequisites
- Python 3.10 or newer
**Because a POSIX compatible environment is needed to build PySAT, PySAT won't run on Windows natively. Use Windows Subsystem for Linux (WSL) instead.
### Linux (Ubuntu)/WSL
```
sudo apt-get install git python3
pip install pipenv
```
### macOS
```
brew install git python3
pip install pipenv
```
## Install
```
git clone https://github.com/607011/still-life.git
cd still_life
pipenv install
```
## Run
```
pipenv run ./still_life.py
```