Repositories list

• Local-MIP

  Public
  A standalone local search solver for general mixed integer programming

  C++

  •

  GNU General Public License v3.0

  •4•16•1•0•Updated Dec 2, 2024Dec 2, 2024

• LSAssigner4iEDA

  Public
  C++

  •0•1•0•0•Updated Nov 27, 2024Nov 27, 2024

• NuPBO

  Public
  A local search solver for PBO

  C++

  •0•0•0•0•Updated Oct 28, 2024Oct 28, 2024

• USW-LS

  Public
  A local search solver for (W)PMS

  C++

  •0•0•0•0•Updated Oct 28, 2024Oct 28, 2024

• NuWLS

  Public
  C

  •0•0•0•0•Updated Oct 28, 2024Oct 28, 2024

• AriParti

  Public
  Distributed SMT Solving Based on Dynamic Variable-level Partitioning

  C++

  •

  Other

  •2•16•0•0•Updated Aug 21, 2024Aug 21, 2024

• ParaILP

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

  C++

  •

  GNU General Public License v3.0

  •0•6•0•0•Updated Aug 10, 2024Aug 10, 2024

• PRS-sc24

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

  C

  •

  GNU General Public License v3.0

  •1•2•1•0•Updated Jul 8, 2024Jul 8, 2024

• Local-ILP

  Public
  A standalone local search solver for general integer linear programming

  C++

  •

  GNU General Public License v3.0

  •1•15•0•0•Updated Jul 8, 2024Jul 8, 2024

• Z3-Parti-Z3pp-at-SMT-COMP-2024

  Public
  C++

  •0•1•0•0•Updated Jul 4, 2024Jul 4, 2024

• ParLS-PBO

  Public
  A Parallel Local Search Solver for Pseudo Boolean Optimization

  C++

  •1•0•0•0•Updated Jun 30, 2024Jun 30, 2024

• z3pp

  Public
  smt

  C++

  •

  Other

  •8•47•1•0•Updated Apr 10, 2024Apr 10, 2024

• CCAnr

  Public
  CCAnr is a local search solver for SAT, particularly designed for solving non-random instances.

  C

  •

  MIT License

  •0•6•0•0•Updated Nov 20, 2023Nov 20, 2023

• PRS-sc23

  Public
  Submission of PRS to International SAT Competition 2023

  GNU General Public License v3.0

  •0•2•0•0•Updated Nov 3, 2023Nov 3, 2023

• NuWLS-c

  Public
  C++

  •0•1•0•0•Updated Jul 20, 2023Jul 20, 2023

• PRS

  Public
  A SAT Parallel framework based on Random Shuffle

  C

  •

  GNU Lesser General Public License v2.1

  •0•7•2•0•Updated May 1, 2023May 1, 2023

• cold-restart

  Public
  source codes and raw data related to cold restart

  C++

  •0•0•0•0•Updated Mar 23, 2023Mar 23, 2023

• EasySAT

  Public
  A Simple CDCL Solver

  sat

  C++

  •

  Other

  •7•26•2•0•Updated Mar 8, 2023Mar 8, 2023

• ParKissat-RS

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

  parallelsat

  C

  •

  Other

  •4•21•0•0•Updated Dec 6, 2022Dec 6, 2022

• kissat_inc

  Public
  A sequential SAT solver that won the 2nd place of SAT Competition 2022 (solved the same number of instances with the winner)

  sat

  C

  •0•2•0•0•Updated Sep 2, 2022Sep 2, 2022

• kissat-pre

  Public
  A sequential SAT solver that won the non-limit-Track of SAT Competition 2022

  sat

  C

  •0•0•0•0•Updated Sep 1, 2022Sep 1, 2022

• FastCDS

  Public
  C++

  •0•0•1•0•Updated Aug 2, 2021Aug 2, 2021

• LSTech-Maple

  Public
  The improved version of Relaxed_LCMDCBDL_newTech, which enters SC21.

  sat

  C++

  •1•0•0•0•Updated Aug 2, 2021Aug 2, 2021

• CNC-LS

  Public
  sat

  C++

  •0•1•0•0•Updated Aug 2, 2021Aug 2, 2021

• relaxed-sat

  Public
  Solvers used in "Deep cooperation of CDCL and local search for SAT" (SAT best paper) and "Better decision heuristics in CDCL through local search and target phases" (JAIR)

  sat

  0•5•0•0•Updated Jul 12, 2021Jul 12, 2021

• Relaxed_LCMDCBDL_newTech

  Public
  This solver win the Main-Track-SAT of SAT competition 2020

  sat

  C++

  •0•4•0•0•Updated Apr 12, 2021Apr 12, 2021