Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 24, 2023

• release 3.1.0 = SAT Competition 2023 submission merged

  arminbiere

  committed
  e21332d

Commits on Apr 29, 2021

• imported sc2021 submission

  

  Armin Biere

  committed
  8174f94

Commits on Jun 27, 2020

• slightly optimized makefile

  

  Armin Biere

  committed
  eaae1d5

• fixed

  

  Armin Biere

  committed
  1e48a6b

Commits on Jun 26, 2020

• fixed failed test allocation on Fedora

  

  Armin Biere

  committed
  5743655

Commits on May 27, 2020

• imported sc2020 submission

  

  Armin Biere

  committed
  2414b6d

Loading