Lattice land
Collection of lattice-based data structures compatible with GPUs. Powering up the constraint solver Turbo!
Pinned
Repositories
Showing 10 of 10 repositories
- lala-parsing Public
Parsing combinatorial models into the lattice land's representation of logic formulas (lala-core AST).
- lala-power Public
Abstract domains based on powerdomain constructions. It includes search tree and branch and bound abstract domains.
-
- cuda-battery Public
Abstractions of memory, allocator, vector, tuple, shared_ptr, unique_ptr, bitset, variant and string working on both CPU and GPU
-
-
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…