https://github.com/Lipen/sat-nexus

🏔 SAT solver wrappers for Rust
https://github.com/Lipen/sat-nexus

rust sat-solver

Last synced: 3 months ago
JSON representation

🏔 SAT solver wrappers for Rust

• Host: GitHub
• URL: https://github.com/Lipen/sat-nexus
• Owner: Lipen
• Created: 2021-06-18T12:13:34.000Z (over 3 years ago)
• Default Branch: master
• Last Pushed: 2024-04-04T09:29:52.000Z (7 months ago)
• Last Synced: 2024-05-22T21:32:22.532Z (6 months ago)
• Topics: rust, sat-solver
• Language: Rust
• Homepage:
• Size: 1.4 MB
• Stars: 2
• Watchers: 4
• Forks: 0
• Open Issues: 1
• Metadata Files:
  • Readme: README.adoc

Awesome Lists containing this project

• awesome-rust-formalized-reasoning - SAT Nexus - interfaces and wrappers for SAT solvers. (Projects / Libraries)

README

        
= SAT Nexus

:toc: macro

Interfaces and wrappers for SAT solvers.

image:https://github.com/Lipen/sat-nexus/workflows/CI/badge.svg["Build Status", link="https://github.com/Lipen/sat-nexus/actions"]

image:https://img.shields.io/badge/MSRV-1.53-green["Minimum supported Rust version"]

toc::[]