Beast code in Giters

sat-group's repositories

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

Language:C++NOASSERTION68 15 9

Program synthesis tool.

Language:JavaBSD-3-Clause8 3 59

Automatic Generation of Propagation Complete SAT Encodings

Language:C++NOASSERTION5 30

Planning and Scheduling using Constraint Optimization

Language:JavaBSD-3-Clause3 2 2

Program Synthesis for Java APIs

Language:JavaBSD-3-Clause3 5 1

MaxSAT solver with divide and conquer approaches using graph-partitioning

Language:C++NOASSERTION2 30

A toolkit for SAT-based prototyping in Python

Language:PythonMIT2 20

Synthesizing invariants

MaxSAT solver with core treatment techniques

Language:C++NOASSERTION1 40

Solving SAT problems by encoding them to MaxHornSAT

Language:C++NOASSERTION1 30

LASER using MapleSat

Language:C++000

Language:HTML000

030

Mail client synthesized with SyPet

Language:JavaBSD-3-Clause030