8000 GitHub - Randy1005/QSat: A Quick Conflict Driven SAT Solver
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Randy1005/QSat

BranchesTags

Repository files navigation

example

QSat

Features

  • CDCL SAT solver
  • activity-based variable selection

Current Progress

  • basic solver functionaliy (boolean constraint propagation + conflict analysis)
  • regression / integration test for comparing performance with minisat
  • geometric solver restart strategy

TODO

  • modify SYCL to CUDA
    • cuda memory pool
    • configure kernels with num_blocks that fit each problem (instead of fixed blocks)

About

A Quick Conflict Driven SAT Solver

Topics

sat-solver constraint-solving-algorithm conflict-analysis

Resources

Readme
Activity

Stars

0 stars

Watchers

2 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Contributors 2

  •  
  •  

Languages
0