Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

Package Usage: cargo: varisat

A CDCL based SAT solver (library)
5 versions
Latest release: over 3 years ago
11 dependent packages
202,321 downloads total

View more package details: https://packages.ecosyste.ms/registries/crates.io/packages/varisat

View more repository details: https://repos.ecosyste.ms/hosts/GitHub/repositories/jix%2Fvarisat

Dependent Repos 55

bcully/cargo Fork of rust-lang/cargo
The Rust package manager
  • 0.2.1 crates/resolver-tests/Cargo.toml

Size: 41.5 MB - Last synced: about 1 year ago - Pushed: about 1 year ago

wangkirin/cargo Fork of rust-lang/cargo
The Rust package manager
  • 0.2.1 crates/resolver-tests/Cargo.toml

Size: 42.7 MB - Last synced: 6 months ago - Pushed: 6 months ago

ParkMyCar/cargo Fork of rust-lang/cargo
The Rust package manager
  • 0.2.1 crates/resolver-tests/Cargo.toml

Size: 28.3 MB - Last synced: about 2 months ago - Pushed: over 1 year ago

hbina/cargo Fork of rust-lang/cargo
The Rust package manager
  • 0.2.1 crates/resolver-tests/Cargo.toml

Size: 30.4 MB - Last synced: over 1 year ago - Pushed: over 1 year ago

SM-125F/cargo Fork of rust-lang/cargo
The Rust package manager
  • 0.2.1 crates/resolver-tests/Cargo.toml

Size: 30.6 MB - Last synced: over 1 year ago - Pushed: over 1 year ago

nnethercote/cargo Fork of rust-lang/cargo
The Rust package manager
  • 0.2.1 crates/resolver-tests/Cargo.toml

Size: 37.8 MB - Last synced: 8 months ago - Pushed: 8 months ago

GuillaumeGomez/cargo Fork of rust-lang/cargo
The Rust package manager
  • 0.2.1 crates/resolver-tests/Cargo.toml

Size: 43.5 MB - Last synced: about 1 month ago - Pushed: 3 months ago

camelid/cargo Fork of rust-lang/cargo
The Rust package manager
  • 0.2.1 crates/resolver-tests/Cargo.toml

Size: 29.8 MB - Last synced: over 1 year ago - Pushed: over 1 year ago

In-line/cargo Fork of rust-lang/cargo
The Rust package manager
  • 0.2.1 crates/resolver-tests/Cargo.toml

Size: 40.8 MB - Last synced: almost 1 year ago - Pushed: almost 1 year ago

stevepentland/cargo Fork of rust-lang/cargo
The Rust package manager
  • 0.2.1 crates/resolver-tests/Cargo.toml

Size: 29.3 MB - Last synced: over 1 year ago - Pushed: over 1 year ago

Swatinem/cargo Fork of rust-lang/cargo
The Rust package manager
  • 0.2.1 crates/resolver-tests/Cargo.toml

Size: 41.2 MB - Last synced: about 2 months ago - Pushed: 12 months ago

gilescope/cargo Fork of rust-lang/cargo
The Rust package manager
  • 0.2.1 crates/resolver-tests/Cargo.toml

Size: 47.7 MB - Last synced: 15 days ago - Pushed: 15 days ago

ariva/custom-cargo
  • 0.2.1 crates/resolver-tests/Cargo.toml

Size: 30.4 MB - Last synced: over 1 year ago - Pushed: over 1 year ago

danieleades/cargo Fork of rust-lang/cargo
The Rust package manager
  • 0.2.1 crates/resolver-tests/Cargo.toml

Size: 29.2 MB - Last synced: about 1 month ago - Pushed: about 1 year ago

davepacheco/cargo Fork of rust-lang/cargo
The Rust package manager
  • 0.2.1 crates/resolver-tests/Cargo.toml

Size: 29.8 MB - Last synced: about 2 months ago - Pushed: about 1 year ago

danielframpton/cargo Fork of rust-lang/cargo
The Rust package manager
  • 0.2.1 crates/resolver-tests/Cargo.toml

Size: 32.9 MB - Last synced: over 1 year ago - Pushed: over 1 year ago

FITOLOPEUNSOIX/CARGO
  • 0.2.1 crates/resolver-tests/Cargo.toml

Size: 15 MB - Last synced: over 1 year ago - Pushed: over 1 year ago

jrmoulton/cargo Fork of rust-lang/cargo
The Rust package manager
  • 0.2.1 crates/resolver-tests/Cargo.toml

Size: 29.9 MB - Last synced: over 1 year ago - Pushed: over 1 year ago

5225225/cargo Fork of rust-lang/cargo
The Rust package manager
  • 0.2.1 crates/resolver-tests/Cargo.toml

Size: 34.6 MB - Last synced: 10 months ago - Pushed: almost 2 years ago

pubgrub-rs/pubgrub
PubGrub version solving algorithm implemented in Rust
  • 0.2.2 Cargo.toml

Size: 1.53 MB - Last synced: 19 days ago - Pushed: 22 days ago

jix/varisat
SAT solver written in Rust
  • =0.2.2 varisat-lrat/Cargo.toml

Size: 2.29 MB - Last synced: 15 days ago - Pushed: over 1 year ago

7omb/sudoku
SAT Sudoku solver
  • 0.2.2 Cargo.lock
  • 0.2.1 Cargo.toml

Size: 27.3 KB - Last synced: over 1 year ago - Pushed: over 1 year ago

Bram-Hub/aris
Aris: a logic engine/formal proof interface; 3nd generation, successor to the Java version of Aris.
  • 0.2.2 Cargo.lock

Size: 39.7 MB - Last synced: about 1 month ago - Pushed: about 1 month ago

qnighy/logic-solver-rs
  • 0.2.2 Cargo.lock
  • 0.2.2 Cargo.toml

Size: 232 KB - Last synced: 4 months ago - Pushed: over 1 year ago

meyerphi/strix
Strix is a tool for reactive synthesis of controllers from LTL specifications.
  • 0.2.2 Cargo.lock
  • 0.2.2 Cargo.toml

Size: 1.09 MB - Last synced: over 1 year ago - Pushed: over 1 year ago

edgarogh/inf402
SAT-solver-based takuzu solver
  • 0.2.2 Cargo.lock

Size: 539 KB - Last synced: 15 days ago - Pushed: 11 months ago

kitsu418/rust-solv
A package dependency solver using satisfiability algorithm, written in rust.
  • 0.2.2 Cargo.lock

Size: 54.7 KB - Last synced: 16 days ago - Pushed: over 1 year ago

tsionyx/nonogrid
Lightning fast nonogram solver. Check out the web version at
  • 0.2.1 Cargo.lock

Size: 790 KB - Last synced: 15 days ago - Pushed: over 2 years ago

tsionyx/nono
Solve nonograms with Rust and WASM
  • 0.2.1 Cargo.lock

Size: 1.98 MB - Last synced: 4 months ago - Pushed: over 1 year ago

szclsya/sasm
Declarative package manager
  • 0.2.2 Cargo.lock

Size: 604 KB - Last synced: about 1 month ago - Pushed: 11 months ago

hysok2/qubosat
  • 0.2.2 Cargo.lock

Size: 306 KB - Last synced: 10 months ago - Pushed: over 1 year ago

io12_/aris
Aris: a logic engine/formal proof interface; 3nd generation, successor to the Java version of Aris.
  • 0.2.2 Cargo.lock

Last synced: 12 months ago

weihanglo/cargo Fork of rust-lang/cargo
The Rust package manager
  • 0.2.2 Cargo.lock

Size: 47.6 MB - Last synced: about 1 month ago - Pushed: about 1 month ago

emanon001/atcoder-rust
  • 0.2.2 abc326/Cargo.lock

Size: 4.51 MB - Last synced: 1 day ago - Pushed: 1 day ago

CAS-ual-TY/unicorn Fork of cksystemsgroup/unicorn
Unicorn: Symbolic Execution, Bounded Model Checking, and Code Optimization of RISC-V Code using Classical Solvers and Quantum Computers
  • 0.2.2 Cargo.lock

Size: 1.86 MB - Last synced: 6 months ago - Pushed: over 1 year ago

thomasantony/sudoku-rs
My attempt at implemented a sudoku solver in rust based on Peter Norvig's blog post
  • 0.2.1 Cargo.lock

Size: 7.81 KB - Last synced: 10 months ago - Pushed: about 4 years ago

ahouts/aoc-2020
  • 0.2.2 Cargo.lock

Size: 97.7 KB - Last synced: over 1 year ago - Pushed: over 3 years ago

hallettj/sat-solver-exercise
Personal exercise to practice working with a SAT solver
  • 0.2.1 Cargo.lock

Size: 16.6 KB - Last synced: about 2 months ago - Pushed: about 4 years ago

atcoder8/atcoder
Programs for AtCoder Algorithm Contest.
  • =0.2.2 abc333/Cargo.toml
  • =0.2.2 abc334/Cargo.toml
  • =0.2.2 agc065/Cargo.toml

Size: 915 KB - Last synced: 4 days ago - Pushed: 4 days ago

asSqr/numberlink_page
ニコリのナンバーリンクというパズルのソルバー．SAT に帰着して解いている (shorturl.at/oGHX7)．Rust で書いて WebAssembly．/ https://puzsq.jp/main/index.php?puzzle=5 ここから探してパズルプレイヤー or puzz.link の URL (e.g. http://pzv.jp/p.html?numlin/10/10/1n2m8t3g415o6l7o387g6t4m5n2) を入力してください．
  • 0.2.2 Cargo.toml

Size: 177 KB - Last synced: over 1 year ago - Pushed: about 3 years ago

asSqr/numberlink_solver
  • 0.2.2 Cargo.lock

Size: 10.7 KB - Last synced: over 1 year ago - Pushed: about 3 years ago

securesystemslab/pkru-safe-cargo
  • 0.2.1 Cargo.toml

Size: 1.1 MB - Last synced: about 1 month ago - Pushed: over 2 years ago

ISibboI/advent-of-code-2021
  • 0.2.2 Cargo.lock

Size: 75.2 KB - Last synced: about 2 months ago - Pushed: over 2 years ago

dralley/sudoku-solver
A sat-solver based sudoku solver in Rust
  • 0.2.1 Cargo.lock

Size: 7.81 KB - Last synced: 3 months ago - Pushed: almost 5 years ago

maple8192/atcoder
  • 0.2.2 abc310/Cargo.lock
  • 0.2.2 abc319/Cargo.lock
  • =0.2.2 abc319/Cargo.toml
  • =0.2.2 abc310/Cargo.toml
  • 0.2.2 abc311/Cargo.lock
  • =0.2.2 abc311/Cargo.toml
  • 0.2.2 abc315/Cargo.lock
  • =0.2.2 abc315/Cargo.toml
  • 0.2.2 abc317/Cargo.lock
  • 0.2.2 abc320/Cargo.lock
  • =0.2.2 abc320/Cargo.toml
  • =0.2.2 abc317/Cargo.toml
  • 0.2.2 abc318/Cargo.lock
  • =0.2.2 abc318/Cargo.toml
  • 0.2.2 abc321/Cargo.lock
  • =0.2.2 abc321/Cargo.toml
  • 0.2.2 abc336/Cargo.lock
  • =0.2.2 abc336/Cargo.toml
  • 0.2.2 abc323/Cargo.lock
  • =0.2.2 abc323/Cargo.toml
  • 0.2.2 abc324/Cargo.lock
  • =0.2.2 abc324/Cargo.toml
  • 0.2.2 abc325/Cargo.lock
  • =0.2.2 abc325/Cargo.toml
  • 0.2.2 abc332/Cargo.lock
  • =0.2.2 abc332/Cargo.toml
  • 0.2.2 abc335/Cargo.lock
  • =0.2.2 abc335/Cargo.toml
  • 0.2.2 abc322/Cargo.lock
  • 0.2.2 abc337/Cargo.lock
  • =0.2.2 abc337/Cargo.toml
  • =0.2.2 abc322/Cargo.toml
  • =0.2.2 abc338/Cargo.toml
  • 0.2.2 abc339/Cargo.lock
  • =0.2.2 abc339/Cargo.toml
  • 0.2.2 abc338/Cargo.lock
  • 0.2.2 abc340/Cargo.lock
  • =0.2.2 abc340/Cargo.toml
  • 0.2.2 abc349/Cargo.lock
  • =0.2.2 abc349/Cargo.toml
  • 0.2.2 abc341/Cargo.lock
  • =0.2.2 abc341/Cargo.toml
  • 0.2.2 abc342/Cargo.lock
  • 0.2.2 abc348/Cargo.lock
  • =0.2.2 abc348/Cargo.toml
  • 0.2.2 abc354/Cargo.lock
  • =0.2.2 abc354/Cargo.toml
  • =0.2.2 abc342/Cargo.toml
  • 0.2.2 abc355/Cargo.lock
  • =0.2.2 abc355/Cargo.toml
  • 0.2.2 arc178/Cargo.lock

Size: 183 KB - Last synced: 2 days ago - Pushed: 2 days ago