Skip to content
@shaowei-cai-group

shaowei-cai-group

Popular repositories Loading

  1. z3pp z3pp Public

    C++ 47 8

  2. EasySAT EasySAT Public

    A Simple CDCL Solver

    C++ 26 7

  3. ParKissat-RS ParKissat-RS Public

    Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)

    C 21 4

  4. Local-MIP Local-MIP Public

    A standalone local search solver for general mixed integer programming

    C++ 16 4

  5. AriParti AriParti Public

    Distributed SMT Solving Based on Dynamic Variable-level Partitioning

    C++ 16 2

  6. Local-ILP Local-ILP Public

    A standalone local search solver for general integer linear programming

    C++ 15 1

Repositories

Showing 10 of 26 repositories
  • Local-MIP Public

    A standalone local search solver for general mixed integer programming

    shaowei-cai-group/Local-MIP’s past year of commit activity
    C++ 16 GPL-3.0 4 1 0 Updated Dec 2, 2024
  • LSAssigner4iEDA Public
    shaowei-cai-group/LSAssigner4iEDA’s past year of commit activity
    C++ 1 0 0 0 Updated Nov 27, 2024
  • NuPBO Public

    A local search solver for PBO

    shaowei-cai-group/NuPBO’s past year of commit activity
    C++ 0 0 0 0 Updated Oct 28, 2024
  • USW-LS Public

    A local search solver for (W)PMS

    shaowei-cai-group/USW-LS’s past year of commit activity
    C++ 0 0 0 0 Updated Oct 28, 2024
  • NuWLS Public
    shaowei-cai-group/NuWLS’s past year of commit activity
    C 0 0 0 0 Updated Oct 28, 2024
  • AriParti Public

    Distributed SMT Solving Based on Dynamic Variable-level Partitioning

    shaowei-cai-group/AriParti’s past year of commit activity
    C++ 16 2 0 0 Updated Aug 21, 2024
  • ParaILP Public

    A Parallel Local Search Framework for Integer Linear Programming with Cooperative Evolution Mechanism

    shaowei-cai-group/ParaILP’s past year of commit activity
    C++ 6 GPL-3.0 0 0 0 Updated Aug 10, 2024
  • PRS-sc24 Public

    Submission of PRS and PRS-distributed to International SAT Competition 2024

    shaowei-cai-group/PRS-sc24’s past year of commit activity
    C 2 GPL-3.0 1 1 0 Updated Jul 8, 2024
  • Local-ILP Public

    A standalone local search solver for general integer linear programming

    shaowei-cai-group/Local-ILP’s past year of commit activity
    C++ 15 GPL-3.0 1 0 0 Updated Jul 8, 2024
  • Z3-Parti-Z3pp-at-SMT-COMP-2024 Public
    shaowei-cai-group/Z3-Parti-Z3pp-at-SMT-COMP-2024’s past year of commit activity
    C++ 1 0 0 0 Updated Jul 4, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…