☆11Sep 29, 2021Updated 4 years ago
Alternatives and similar repositories for GPUSAT
Users that are interested in GPUSAT are comparing it to the libraries listed below
Sorting:
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Jun 8, 2021Updated 4 years ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Feb 18, 2019Updated 7 years ago
- ☆14May 12, 2025Updated 9 months ago
- Implementation of Bayesian Sum-Product Networks☆13May 19, 2020Updated 5 years ago
- Gate-Level Simulation on a GPU☆10Nov 22, 2016Updated 9 years ago
- Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations☆16Aug 19, 2022Updated 3 years ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆38Mar 25, 2025Updated 11 months ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Feb 3, 2013Updated 13 years ago
- ☆14Updated this week