https://github.com/dpsanders/satisfiabilityinterface.jl

https://github.com/dpsanders/satisfiabilityinterface.jl

Last synced: 8 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/dpsanders/satisfiabilityinterface.jl
• Owner: dpsanders
• License: mit
• Created: 2020-12-19T22:45:22.000Z (about 5 years ago)
• Default Branch: master
• Last Pushed: 2022-08-20T23:32:35.000Z (over 3 years ago)
• Last Synced: 2025-03-29T20:24:22.404Z (9 months ago)
• Language: Julia
• Homepage:
• Size: 196 KB
• Stars: 15
• Watchers: 5
• Forks: 6
• Open Issues: 14
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# `SatisfiabilityInterface.jl` 

A [Julia](www.julialang.org) package for modelling discrete constraint satisfaction problems and encoding them to Boolean satisfiability (SAT) problems.

## Usage

See this [short video from JuliaCon 2021](https://www.youtube.com/watch?v=F5QuDrTkAow), 

which uses [this Pluto notebook](docs/satisfiability_juliacon_2021.pluto.jl).

See also the [`examples`](examples) directory for basic usage. 

The resulting SAT problem is solved, by default, using the [`CryptoMiniSAT5`](https://github.com/msoos/cryptominisat) SAT solver, which is 

automatically installed.

## Author

Copyright David P. Sanders 2021