Popular repositories Loading

1. cbTSP cbTSP Public

   A high level path planning solver for the SAT-TSP problem described in "An SMT-Based Approach to Motion Planning for Multiple Robots with Complex Constraints".

   C 10

2. subisosat-lib subisosat-lib Public

   A Subgraph Isomorphism library extension for igraph that uses a SAT solver. This work was used in "Securing Computer Hardware Using 3D Integrated Circuit (IC) Technology and Split Manufacturing for…

   C++ 2

3. circuit-security circuit-security Public

   K-Security for 3D Circuits as described in “Securing Computer Hardware Using 3D Integrated Circuit (IC) Technology and Split Manufacturing for Obfuscation”.

   C++ 1

4. advent-of-code advent-of-code Public

   https://adventofcode.com/

   Python