https://github.com/chayleaf/emilia

a very simple SAT solver
https://github.com/chayleaf/emilia

Last synced: about 2 months ago
JSON representation

a very simple SAT solver

• Host: GitHub
• URL: https://github.com/chayleaf/emilia
• Owner: chayleaf
• License: agpl-3.0
• Created: 2024-07-18T15:30:35.000Z (almost 2 years ago)
• Default Branch: master
• Last Pushed: 2025-02-05T13:08:09.000Z (over 1 year ago)
• Last Synced: 2025-02-05T14:22:20.689Z (over 1 year ago)
• Language: Rust
• Size: 23.4 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: COPYING

Awesome Lists containing this project

README

          
# Emilia

A very simple SAT solver. My goal is experimenting with creating a

declarative module system, which requires finding an arrangement that

satisfies all of the modules' requirements (e.g. the ordering that the

modules requested is satisfied, there are no conflicting values, etc). I

may end up using something other than SAT for that purpose, so I suppose

this will be my area for theorem proving experimentation.

Random resources:

- http://minisat.se/downloads/MiniSat.pdf

- https://codingnest.com/modern-sat-solvers-fast-neat-and-underused-part-3-of-n/

- https://www.cs.ubc.ca/labs/isd/Projects/monosat/smmt.pdf

- http://web.archive.org/web/20231128190422/https://cse.unl.edu/~choueiry/S18-235H/files/SATslides07.pdf

- https://cse.buffalo.edu/LRG/PDF/moonslides.pdf