Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 7, 2024

• Fixed propagate() for CaDiCaL 1.9.5.

  alexeyignatiev

  committed
  be06a8a

  Copy full SHA for be06a8a

Commits on Jun 4, 2023

• Updated .gitignore a little.

  alexeyignatiev

  committed
  58e9f34

  Copy full SHA for 58e9f34

Commits on Mar 3, 2023

• Added Cadical 1.5.3.

  alexeyignatiev

  committed
  8d78a31

  Copy full SHA for 8d78a31

Commits on Jan 17, 2023

• Updated .gitignore.

  alexeyignatiev

  committed
  4b3ddb5

  Copy full SHA for 4b3ddb5

Commits on Jul 4, 2020

• More stuff related to zlib.

  alexeyignatiev

  committed
  c175480

  Copy full SHA for c175480

Commits on Dec 4, 2019

• Fixed a few issues related to *Plus formulas. Bumped version to 0.1.5dev1.

  

  Alexey Ignatiev

  committed
  7659afd

  Copy full SHA for 7659afd

Commits on Dec 3, 2019

• Revert "Revert "Windows support""

  alexeyignatiev

  authored
  eee87e0

  Copy full SHA for eee87e0

Commits on Dec 2, 2019

• Revert "Windows support"

  alexeyignatiev

  authored
  c744ed6

  Copy full SHA for c744ed6

• Windows support

  rjungbeck

  committed
  6c4f5cb

  Copy full SHA for 6c4f5cb

Commits on Sep 20, 2018

• Documented some of the examples. Added more iterators support.

  

  Alexey Ignatiev

  committed
  04bd391

  Copy full SHA for 04bd391

Loading