m1info SVN

Brought to you by: luc-chante

• Summary
• Reviews
• Support
• SVN

Menu ▾ ▴

 

• Browse Commits
• Browse Files

Commit [r79]  Maximize  Restore  History

Le code semble bien fonctionner

@TODO s'inspirer du code de minisat pour simplifier les clauses si possible car il faut limiter l'utilisation memoire qui est enorme'

Authored by: luc-chante 2013-05-19

Browse code at this revision

Parent: [r78]

Child: [r80]

added	/trunk/TER/Benchs/5-sat_1000_10000.cnf
added	/trunk/TER/fichiers/Boros-1999.pdf
added	/trunk/TER/fichiers/Boros-2000.pdf
added	/trunk/TER/fichiers/Hebrard-1994.pdf
added	/trunk/TER/src/ArrayList.c
added	/trunk/TER/src/ArrayList.h
changed	/trunk/TER/src/Makefile
added	/trunk/TER/src/base.c
added	/trunk/TER/src/base.h
removed	/trunk/TER/src/list.c
removed	/trunk/TER/src/list.h
added	/trunk/TER/src/main.c
added	/trunk/TER/src/parseUtil.h
added	/trunk/TER/src/sat.h
removed	/trunk/TER/src/solver.c
removed	/trunk/TER/src/solver.h
changed	/trunk/TER/src/ter
removed	/trunk/TER/src/ter.c
removed	/trunk/TER/src/types.c
removed	/trunk/TER/src/types.h
removed	/trunk/TER/src/utils.c
removed	/trunk/TER/src/utils.h

/trunk/TER/Benchs/5-sat_1000_10000.cnf Diff Switch to side-by-side view

/trunk/TER/fichiers/Boros-1999.pdf

Binary file was added.

/trunk/TER/fichiers/Boros-2000.pdf

Binary file was added.

/trunk/TER/fichiers/Hebrard-1994.pdf

Binary file was added.

/trunk/TER/src/ArrayList.c Diff Switch to side-by-side view

/trunk/TER/src/ArrayList.h Diff Switch to side-by-side view

/trunk/TER/src/Makefile Diff Switch to side-by-side view

/trunk/TER/src/base.c Diff Switch to side-by-side view

/trunk/TER/src/base.h Diff Switch to side-by-side view

/trunk/TER/src/list.c

File was removed.

/trunk/TER/src/list.h

File was removed.

/trunk/TER/src/main.c Diff Switch to side-by-side view

/trunk/TER/src/parseUtil.h Diff Switch to side-by-side view

/trunk/TER/src/sat.h Diff Switch to side-by-side view

/trunk/TER/src/solver.c

File was removed.

/trunk/TER/src/solver.h

File was removed.

/trunk/TER/src/ter

Binary file was changed.

/trunk/TER/src/ter.c

File was removed.

/trunk/TER/src/types.c

File was removed.

/trunk/TER/src/types.h

File was removed.

/trunk/TER/src/utils.c

File was removed.

/trunk/TER/src/utils.h

File was removed.