Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 3, 2022

• update

  Manuframil

  committed
  a8e29a7

  Copy full SHA for a8e29a7

Commits on Dec 2, 2021

• argument parser

  Manuframil

  committed
  b44df27

  Copy full SHA for b44df27

Commits on Nov 22, 2021

• Structure update to fit Starexec requisites

  Manuframil

  committed
  7a9a55e

  Copy full SHA for 7a9a55e

Commits on Oct 17, 2021

• now BDE minimizes unsat clauses (instead of max satisfied)

  Manuframil

  committed
  be78566

  Copy full SHA for be78566

• changes on Clause & Entry structures

  Manuframil

  committed
  8bc95e0

  Copy full SHA for 8bc95e0

Commits on Oct 16, 2021

• added hard clauses check

  Manuframil

  committed
  fe0800a

  Copy full SHA for fe0800a

Commits on Oct 8, 2021

• Delete Graphics directory

  Manuframil

  authored
  85997b0

  Copy full SHA for 85997b0

• include license every file

  Manuframil

  committed
  cfa2a24

  Copy full SHA for cfa2a24

Commits on Jul 12, 2021

• examples & small bugfix

  Manuframil

  committed
  2985cec

  Copy full SHA for 2985cec

Commits on Jul 2, 2021

• v line

  Manuframil

  committed
  ac08d0c

  Copy full SHA for ac08d0c

Commits on Jul 1, 2021

• bugfix small problems

  Manuframil

  committed
  ea21df8

  Copy full SHA for ea21df8

Commits on Jun 23, 2021

• update readme & output

  Manuframil

  committed
  a21beb2

  Copy full SHA for a21beb2

• graphic change once again

  Manuframil

  committed
  1e79b84

  Copy full SHA for 1e79b84

Commits on Jun 13, 2021

• Merge branch 'master' of https://github.com/Manuframil/DEMaxSatSolver

  Manuframil

  committed
  96175da

  Copy full SHA for 96175da

• Graficos mas claros!

  Manuframil

  committed
  eed476d

  Copy full SHA for eed476d

Commits on Jun 10, 2021

• Create LICENSE

  Manuframil

  authored
  7eff974

  Copy full SHA for 7eff974

• delete testscript from git

  Manuframil

  committed
  5e430b8

  Copy full SHA for 5e430b8

• gitignore

  Manuframil

  committed
  2476774

  Copy full SHA for 2476774

• rm things

  Manuframil

  committed
  243a669

  Copy full SHA for 243a669

• Update readme

  Manuframil

  committed
  9cf9b8a

  Copy full SHA for 9cf9b8a

Commits on May 15, 2021

• Merge remote-tracking branch 'origin/master'

  

  mframil

  committed
  49dc91d

  Copy full SHA for 49dc91d

• Small changes

  

  mframil

  committed
  77bc623

  Copy full SHA for 77bc623

Commits on Apr 30, 2021

• Update README.md

  Manuframil

  authored
  2f817ca

  Copy full SHA for 2f817ca

• Create README.md

  Manuframil

  authored
  df7ee11

  Copy full SHA for df7ee11

Commits on Apr 26, 2021

• Initial commit

  mframil

  committed
  a9ba6f1

  Copy full SHA for a9ba6f1