varisat

SAT solver written in Rust

APACHE-2.0 License

Downloads
2.2M
Stars
243
Committers
5
View Code on GitHub Visit Website
Ecosystems: Rust

Commit Statistics

Past Year

All Time

Total Commits
1
197
Total Committers
1
5
Avg. Commits Per Committer
1.0
39.4
Bot Commits
0
13

Issue Statistics

Past Year

All Time

Total Pull Requests
0
132
Merged Pull Requests
0
32
Total Issues
1
14
Time to Close Issues
N/A
17 days
Package Rankings
Top 6.95% on Crates.io
Badges
Extracted from project README
crates.io docs.rs
Related Projects
rustc-version-rs

A library for querying the version of a installed rustc compiler

24 Aug 2015 59
kani

Kani Rust Verifier

26 Mar 2021 1,886
versatiles-rs

VersaTiles - A toolbox for converting, checking and serving map tiles in various formats.

25 Jan 2023 49
panser

A command line utility for (de)serializing data

15 Apr 2017 5
OpenVAF

An innovative Verilog-A compiler

30 Jul 2022 119
ctest

Automatic testing of FFI bindings for Rust

16 Sep 2015 124
ATAC

A simple API client (postman like) in your terminal

05 Feb 2024 8
cargo

The Rust package manager

04 Mar 2014 12,408
sat-rs

A SAT solver written in Rust

26 Oct 2023 2
vectora

A Rust library for n-dimensional vector computation with real and complex scalar data

19 Nov 2021 8
cargo-compete

A Cargo subcommand for competitive programming

27 Jul 2020 231
esp-pacs

Peripheral Access Crates for Espressif SoCs and modules

01 Feb 2022 105
packed_simd

Portable Packed SIMD Vectors for Rust standard library

27 Jun 2018 592
rust

Rust implementation of the Varlink protocol

15 Dec 2016 59
concordium-base

Core Rust and Haskell libraries used by various components of the Concordium blockchain, as well ...

29 Mar 2021 21