Repositories list

• ruben

  Public
  HTML

  •0•0•0•0•Updated Dec 19, 2024Dec 19, 2024

• open-wbo

  Public
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver

  C++

  •

  Other

  •13•77•5•1•Updated Nov 19, 2023Nov 19, 2023

• sypet

  Public
  Program synthesis tool.

  Java

  •

  BSD 3-Clause "New" or "Revised" License

  •0•9•7•8•Updated Dec 7, 2022Dec 7, 2022

• cfg-enum

  Public
  Synthesizing invariants

  1•1•0•0•Updated Apr 20, 2021Apr 20, 2021

• open-wbo-conquer

  Public
  MaxSAT solver with divide and conquer approaches using graph-partitioning

  C++

  •

  Other

  •0•2•0•0•Updated Dec 9, 2018Dec 9, 2018

• open-wbo-horn

  Public
  Solving SAT problems by encoding them to MaxHornSAT

  C++

  •

  Other

  •0•1•0•0•Updated Dec 4, 2018Dec 4, 2018

• open-wbo-cores

  Public
  MaxSAT solver with core treatment techniques

  C++

  •

  Other

  •0•1•0•0•Updated Dec 1, 2018Dec 1, 2018

• symail

  Public
  Mail client synthesized with SyPet

  Java

  •

  BSD 3-Clause "New" or "Revised" License

  •0•0•0•0•Updated Sep 10, 2018Sep 10, 2018

• pysat

  Public
  A toolkit for SAT-based prototyping in Python

  Python

  •

  MIT License

  •73•2•0•0•Updated Sep 6, 2018Sep 6, 2018

• pylon

  Public
  Planning and Scheduling using Constraint Optimization

  Java

  •

  BSD 3-Clause "New" or "Revised" License

  •0•3•0•0•Updated Jul 23, 2018Jul 23, 2018

• symonster

  Public
  Program Synthesis for Java APIs

  Java

  •

  BSD 3-Clause "New" or "Revised" License

  •1•3•0•0•Updated May 27, 2018May 27, 2018

• laser-maple

  Public
  LASER using MapleSat

  C++

  •0•0•0•0•Updated Dec 6, 2017Dec 6, 2017

• sat-group.github.io

  Public
  0•0•0•0•Updated Dec 21, 2016Dec 21, 2016

• genpce

  Public
  Automatic Generation of Propagation Complete SAT Encodings

  C++

  •

  Other

  •1•5•0•0•Updated Jan 19, 2016Jan 19, 2016