Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Jan 14, 2026

• Merge pull request #5 from ignaloidas/clean-outputs

  Show description for 31e6cf9
  S-Mazigh

  authored
  31e6cf9

  Copy full SHA for 31e6cf9

Commits on Jun 12, 2025

• Make sure all output during solving fits the informal standards

  ignaloidas

  committed
  2c869e4

  Copy full SHA for 2c869e4

Commits on May 8, 2025

• Readme Merge Resolved

  S-Mazigh

  committed
  82b8a6a

  Copy full SHA for 82b8a6a

• SATComp25: GASPI, Kissat v4.0.2

  S-Mazigh

  committed
  5b2d8a8

  Copy full SHA for 5b2d8a8

Commits on Mar 20, 2025

• Update README.md

  S-Mazigh

  authored
  a47f88f

  Copy full SHA for a47f88f

Commits on Oct 25, 2024

• absolute topic link

  S-Mazigh

  committed
  d553728

  Copy full SHA for d553728

• fix documentation

  S-Mazigh

  committed
  0349b69

  Copy full SHA for 0349b69

• updated documentation

  S-Mazigh

  committed
  d9a61de

  Copy full SHA for d9a61de

Commits on Oct 24, 2024

• updated documentation

  S-Mazigh

  committed
  7ec6734

  Copy full SHA for 7ec6734

• Readme updated

  S-Mazigh

  committed
  f4bc2f2

  Copy full SHA for f4bc2f2

• Docs for doxygen website

  S-Mazigh

  committed
  0aba0e6

  Copy full SHA for 0aba0e6

• Update to TACAS25 version

  S-Mazigh

  committed
  1f0a11b

  Copy full SHA for 1f0a11b

Commits on Oct 3, 2024

• international sat competition 2024 version

  S-Mazigh

  committed
  ad6b719

  Copy full SHA for ad6b719

Commits on Sep 20, 2024

• Update README.md

  Show description for 0b0d205
  sbaarir

  authored
  0b0d205

  Copy full SHA for 0b0d205

Commits on Mar 23, 2021

• Update README.md

  sbaarir

  authored
  1552627

  Copy full SHA for 1552627

Commits on Mar 10, 2021

• Update README.md

  Show description for 7126e33
  sbaarir

  authored
  7126e33

  Copy full SHA for 7126e33

Commits on Mar 27, 2020

• update README

  

  Vincent

  committed
  56bfcc9

  Copy full SHA for 56bfcc9

• init

  

  Vincent

  committed
  ca84b71

  Copy full SHA for ca84b71