Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Aug 26, 2025

• Change return values for l_False and l_Undef cases

  FlorentAvellaneda

  authored
  5c29e43

  Copy full SHA for 5c29e43

Commits on Aug 19, 2025

• Correction MonGlucose41::getValue

  FlorentAvellaneda

  authored
  decbd81

  Copy full SHA for decbd81

Commits on Jul 16, 2025

• correction bug

  FlorentAvellaneda

  committed
  aabaefd

  Copy full SHA for aabaefd

Commits on May 10, 2025

• Add glucose for lib

  FlorentAvellaneda

  committed
  ebd2fbe

  Copy full SHA for ebd2fbe

• make install

  FlorentAvellaneda

  committed
  4436091

  Copy full SHA for 4436091

• Restructure CMake configuration

  FlorentAvellaneda

  committed
  0dabb37

  Copy full SHA for 0dabb37

Commits on May 7, 2025

• remove warning

  FlorentAvellaneda

  committed
  65da427

  Copy full SHA for 65da427

• Incremental solve

  FlorentAvellaneda

  committed
  1deba90

  Copy full SHA for 1deba90

Commits on Apr 13, 2024

• suite

  FlorentAvellaneda

  committed
  df6751e

  Copy full SHA for df6751e

• return variables assignment for formula variables only

  FlorentAvellaneda

  committed
  b16f89e

  Copy full SHA for b16f89e

Commits on Mar 10, 2024

• Update cmake-multi-platform.yml

  FlorentAvellaneda

  authored
  5260c93

  Copy full SHA for 5260c93

• Create cmake-multi-platform.yml

  FlorentAvellaneda

  authored
  89d2b05

  Copy full SHA for 89d2b05

• Delete .github/workflows/cmake-multi-platform.yml

  FlorentAvellaneda

  authored
  280ec10

  Copy full SHA for 280ec10

• clean cmake

  FlorentAvellaneda

  committed
  145fd4a

  Copy full SHA for 145fd4a

• update cmake

  FlorentAvellaneda

  committed
  e2bdb97

  Copy full SHA for e2bdb97

Commits on Mar 8, 2024

• Improved parsing robustness

  FlorentAvellaneda

  committed
  3337508

  Copy full SHA for 3337508

• update Exit Codes

  FlorentAvellaneda

  committed
  87f9ebb

  Copy full SHA for 87f9ebb

• fix empty clause and remove build.hpp

  FlorentAvellaneda

  committed
  280eb53

  Copy full SHA for 280eb53

Commits on Oct 18, 2023

• Update EvalMaxSAT.h

  Show description for 766f9e3
  FlorentAvellaneda

  authored
  766f9e3

  Copy full SHA for 766f9e3

• Update EvalMaxSAT.h

  Show description for 1859efd
  FlorentAvellaneda

  authored
  1859efd

  Copy full SHA for 1859efd

Commits on Jul 30, 2023

• EvalMaxSAT 2023

  FlorentAvellaneda

  committed
  04749d3

  Copy full SHA for 04749d3

Commits on Jul 1, 2021

• Merge pull request #1 from adrianherrera/improvement/cleanup

  Show description for 440bf90
  FlorentAvellaneda

  authored
  440bf90

  Copy full SHA for 440bf90

• removed build files

  adrianherrera

  committed
  6e077c6

  Copy full SHA for 6e077c6

Commits on Dec 4, 2020

• Update README.md

  FlorentAvellaneda

  authored
  2c89541

  Copy full SHA for 2c89541

• Update README.md

  FlorentAvellaneda

  authored
  f720289

  Copy full SHA for f720289

Commits on Jul 24, 2020

• Delete main.cpp

  FlorentAvellaneda

  authored
  8b6632c

  Copy full SHA for 8b6632c

Commits on Jul 9, 2020

• Update EvalMaxSAT.h

  FlorentAvellaneda

  authored
  678caaf

  Copy full SHA for 678caaf

Commits on Jul 8, 2020

• Update README.md

  FlorentAvellaneda

  authored
  f8edc7b

  Copy full SHA for f8edc7b

• Update README.md

  FlorentAvellaneda

  authored
  ab960fc

  Copy full SHA for ab960fc

• Update CMakeLists.txt

  FlorentAvellaneda

  authored
  582d2f9

  Copy full SHA for 582d2f9

• Initial commit

  FlorentAvellaneda

  committed
  44fb965

  Copy full SHA for 44fb965

• Initial commit

  FlorentAvellaneda

  authored
  fd2ba31

  Copy full SHA for fd2ba31