Pinned Repositories
cpp-peglib
A single file C++ header-only PEG (Parsing Expression Grammars) library
cuda-battery
Abstractions of memory, allocator, vector, tuple, shared_ptr, unique_ptr, bitset, variant and string working on both CPU and GPU
lala-core
Core of the framework defining logical formula and abstract domain.
lala-parsing
Parsing combinatorial models into the lattice land's representation of logic formulas (lala-core AST).
lala-pc
Abstract propagators completion (PC) is an abstract domain encapsulating the propagation component of a constraint programming solver.
lala-power
Abstract domains based on powerdomain constructions. It includes search tree and branch and bound abstract domains.
turbo
A constraint solver purely on GPUs (CUDA)
XCSP3-CPP-Parser
XCSP3 Core Parser in C++
aklein3's Repositories
aklein3/turbo
A constraint solver purely on GPUs (CUDA)
aklein3/lala-power
Abstract domains based on powerdomain constructions. It includes search tree and branch and bound abstract domains.
aklein3/lala-pc
Abstract propagators completion (PC) is an abstract domain encapsulating the propagation component of a constraint programming solver.
aklein3/lala-parsing
Parsing combinatorial models into the lattice land's representation of logic formulas (lala-core AST).
aklein3/lala-core
Core of the framework defining logical formula and abstract domain.
aklein3/cuda-battery
Abstractions of memory, allocator, vector, tuple, shared_ptr, unique_ptr, bitset, variant and string working on both CPU and GPU
aklein3/XCSP3-CPP-Parser
XCSP3 Core Parser in C++
aklein3/cpp-peglib
A single file C++ header-only PEG (Parsing Expression Grammars) library