Commits

Author Commit Message Labels Comments Date
Alexandru Moșoi
Added a license file.
Alexandru Moșoi
Ran gofix.
Alexandru Moșoi
Added tag release.2011-09-19 for changeset b5fd820cf5e1
Alexandru Moșoi
bce, luby: better defaults.
Tags
release.2011-09-19
Alexandru Moșoi
vsids: simplified code.
Alexandru Moșoi
search: propagates units discovered during otf clause simplification.
Alexandru Moșoi
bcp: implemented otf clause simplification.
Alexandru Moșoi
cnf: added clause.HasLiteral()
Alexandru Moșoi
vsids: use a heap of literals.
Alexandru Moșoi
solve: better default gpre.
Alexandru Moșoi
search: simplifies learned clause if assignment is a subset of it.
Alexandru Moșoi
bcp: deletes satisfied clauses by unit clauses.
Alexandru Moșoi
bcp: performs otf sss.
Alexandru Moșoi
vsids: tests several literals before deciding.
Alexandru Moșoi
search: removed unused gcsmode flag.
Alexandru Moșoi
pl: don't assign literals. satisfyClauses() is enough.
Alexandru Moșoi
bcp: choose better literal reason.
Alexandru Moșoi
bce: removes blocked clauses from occur.
Alexandru Moșoi
vsids: added gvsidsscale flag.
Alexandru Moșoi
bce: implemented Blocked Clause Elimination
Alexandru Moșoi
sparse: added IsEmpty() function.
Alexandru Moșoi
cnf: Formula.Occurrence() returns a list of clauses
Alexandru Moșoi
luby, solve: improved default values.
Alexandru Moșoi
hte: renamed to hl
Alexandru Moșoi
main: added flag to enable profiling.
Alexandru Moșoi
hte: speedup big and implemented hle.
Alexandru Moșoi
solve: enabled hte.
Alexandru Moșoi
hte: added hiddent tautology elimination.
Alexandru Moșoi
solve: added flag to set preprocessing routines.
Alexandru Moșoi
sat: Removed DoNothing().
  1. Prev
  2. Next