Pinned Loading

1. SMTParser SMTParser Public

   A C++ SMT/OMT Parser Library

   C++ 21 4

2. Splitwise-MILP Splitwise-MILP Public

   The Splitwise-like algorithm using MILP encoding.

   Python 3

3. BLAN BLAN Public

   Bit-bLAsting solving Non-linear integer constraints.

   C++ 22 1

4. GRL-SVO GRL-SVO Public

   Forked from dongyuhang22/GRL-SVO

   This project proposes two Reinforcement Learning (RL) approaches combined with Graph Neural Networks (GNN) for Suggesting Variable Order (SVO).

   Python 4