A (parametrized) Rust SAT solver originally based on MiniSat
-
Updated
Jan 20, 2025 - Rust
#
drat
Here are 18 public repositories matching this topic...
A distributed, parallelized (Map Reduce) wrapper around Apache RAT™ to allow it to complete on large code repositories of multiple file types where Apache RAT™ hangs forever.
-
Updated
Feb 4, 2020 - JavaScript
the cloudyr project website
-
Updated
Jul 31, 2025 - CSS
drat repository for nightly builds of ropensci packages and common dependencies
-
Updated
Jan 16, 2019 - R
drat2er: Proof Transformer for Propositional Logic
-
Updated
Dec 28, 2021 - C++
Verifies SAT solver output. Uses drat-trim proof checker for UNSAT instances.
-
Updated
May 25, 2020 - C
css python html django django-rest-framework scheduled-tasks celery hackernews-api interview-test drat
-
Updated
Aug 31, 2022 - Python
A Cross-platform (Andorid / IOS) Group Chat App with Firebase
-
Updated
Mar 5, 2022 - Dart
A repository with R packages created and maintained by INBO
-
Updated
Jun 7, 2018
Improve this page
Add a description, image, and links to the drat topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the drat topic, visit your repo's landing page and select "manage topics."