turbo:纯粹在GPU（CUDA）上的约束求解器

【文件属性】：
文件名称：turbo:纯粹在GPU（CUDA）上的约束求解器
文件大小：100KB
文件格式：ZIP
更新时间：2021-04-11 03:39:47
C++ 涡轮 Turbo的目标是完全成为GPU上的约束求解器。 依存关系 CUDA编译器nvcc 。

【文件预览】：
turbo-main
----.gitmodules(121B)
----benchmarks()
--------pat5.xml(123KB)
--------local.sh(85B)
--------rcpsp.xml(11KB)
--------database()
--------pat11-wrong-bound.xml(11KB)
--------simple.xml(10KB)
--------config.json(2KB)
--------gen.sh(89B)
--------pat42.xml(123KB)
--------pat7-unsat.xml(15KB)
----src()
--------turbo.cu(3KB)
--------memory.cu(2KB)
--------propagators.cu(1KB)
--------solver.cu(6KB)
----lib()
--------XCSP3-CPP-Parser()
----LICENSE(11KB)
----README.md(140B)
----Makefile(776B)
----.gitignore(277B)
----include()
--------memory.cuh(6KB)
--------search.cuh(7KB)
--------model_builder.hpp(17KB)
--------XCSP3_turbo_callbacks.hpp(49KB)
--------propagators.cuh(13KB)
--------vstore.cuh(5KB)
--------solver.cuh(1KB)
--------statistics.cuh(2KB)
--------terms.hpp(3KB)
--------cuda_helper.hpp(2KB)