Skip to content
@sat-group

sat-group

Popular repositories Loading

  1. open-wbo open-wbo Public

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

    C++ 74 13

  2. sypet sypet Public

    Program synthesis tool.

    Java 9

  3. genpce genpce Public

    Automatic Generation of Propagation Complete SAT Encodings

    C++ 5 1

  4. symonster symonster Public

    Program Synthesis for Java APIs

    Java 3 1

  5. pylon pylon Public

    Planning and Scheduling using Constraint Optimization

    Java 3

  6. pysat pysat Public

    Forked from pysathq/pysat

    A toolkit for SAT-based prototyping in Python

    Python 2

Repositories

Showing 10 of 14 repositories
  • ruben Public
    sat-group/ruben’s past year of commit activity
    HTML 0 0 0 0 Updated Dec 19, 2024
  • open-wbo Public

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

    sat-group/open-wbo’s past year of commit activity
    C++ 74 13 5 1 Updated Nov 19, 2023
  • sypet Public

    Program synthesis tool.

    sat-group/sypet’s past year of commit activity
    Java 9 BSD-3-Clause 0 7 8 Updated Dec 7, 2022
  • cfg-enum Public

    Synthesizing invariants

    sat-group/cfg-enum’s past year of commit activity
    1 1 0 0 Updated Apr 20, 2021
  • open-wbo-conquer Public

    MaxSAT solver with divide and conquer approaches using graph-partitioning

    sat-group/open-wbo-conquer’s past year of commit activity
    C++ 2 0 0 0 Updated Dec 9, 2018
  • open-wbo-horn Public

    Solving SAT problems by encoding them to MaxHornSAT

    sat-group/open-wbo-horn’s past year of commit activity
    C++ 1 0 0 0 Updated Dec 4, 2018
  • open-wbo-cores Public

    MaxSAT solver with core treatment techniques

    sat-group/open-wbo-cores’s past year of commit activity
    C++ 1 0 0 0 Updated Dec 1, 2018
  • symail Public

    Mail client synthesized with SyPet

    sat-group/symail’s past year of commit activity
    Java 0 BSD-3-Clause 0 0 0 Updated Sep 10, 2018
  • pysat Public Forked from pysathq/pysat

    A toolkit for SAT-based prototyping in Python

    sat-group/pysat’s past year of commit activity
    Python 2 MIT 73 0 0 Updated Sep 6, 2018
  • pylon Public

    Planning and Scheduling using Constraint Optimization

    sat-group/pylon’s past year of commit activity
    Java 3 BSD-3-Clause 0 0 0 Updated Jul 23, 2018
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…