Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
LICENSE		LICENSE
README.md		README.md

Repository files navigation

yasmin

SAT/ASP solver on Multi-GPU systems

Features and Road Map

API

Heuristics for literal assignments

Multi-GPU support

Contributors

References

Installation

About

SAT ASP solver on Multi-GPU systems

graph-algorithms artificial-intelligence satisfiability-solver gpu-computing sat-solver

GPL-3.0 license

Custom properties

Report repository

Releases

No releases published

Packages

No packages published