Author Commit Message Labels Comments Date
Alexandru Moșoi avatarAlexandru Moșoi
Added a license file.
Alexandru Moșoi avatarAlexandru Moșoi
Ran gofix.
Alexandru Moșoi avatarAlexandru Moșoi
Added tag release.2011-09-19 for changeset b5fd820cf5e1
Alexandru Moșoi avatarAlexandru Moșoi
bce, luby: better defaults.
Tags
release.2011-09-19
Alexandru Moșoi avatarAlexandru Moșoi
vsids: simplified code.
Alexandru Moșoi avatarAlexandru Moșoi
search: propagates units discovered during otf clause simplification.
Alexandru Moșoi avatarAlexandru Moșoi
bcp: implemented otf clause simplification.
Alexandru Moșoi avatarAlexandru Moșoi
cnf: added clause.HasLiteral()
Alexandru Moșoi avatarAlexandru Moșoi
vsids: use a heap of literals.
Alexandru Moșoi avatarAlexandru Moșoi
solve: better default gpre.
Alexandru Moșoi avatarAlexandru Moșoi
search: simplifies learned clause if assignment is a subset of it.
Alexandru Moșoi avatarAlexandru Moșoi
bcp: deletes satisfied clauses by unit clauses.
Alexandru Moșoi avatarAlexandru Moșoi
bcp: performs otf sss.
Alexandru Moșoi avatarAlexandru Moșoi
vsids: tests several literals before deciding.
Alexandru Moșoi avatarAlexandru Moșoi
search: removed unused gcsmode flag.
Alexandru Moșoi avatarAlexandru Moșoi
pl: don't assign literals. satisfyClauses() is enough.
Alexandru Moșoi avatarAlexandru Moșoi
bcp: choose better literal reason.
Alexandru Moșoi avatarAlexandru Moșoi
bce: removes blocked clauses from occur.
Alexandru Moșoi avatarAlexandru Moșoi
vsids: added gvsidsscale flag.
Alexandru Moșoi avatarAlexandru Moșoi
bce: implemented Blocked Clause Elimination
Alexandru Moșoi avatarAlexandru Moșoi
sparse: added IsEmpty() function.
Alexandru Moșoi avatarAlexandru Moșoi
cnf: Formula.Occurrence() returns a list of clauses
Alexandru Moșoi avatarAlexandru Moșoi
luby, solve: improved default values.
Alexandru Moșoi avatarAlexandru Moșoi
hte: renamed to hl
Alexandru Moșoi avatarAlexandru Moșoi
main: added flag to enable profiling.
Alexandru Moșoi avatarAlexandru Moșoi
hte: speedup big and implemented hle.
Alexandru Moșoi avatarAlexandru Moșoi
solve: enabled hte.
Alexandru Moșoi avatarAlexandru Moșoi
hte: added hiddent tautology elimination.
Alexandru Moșoi avatarAlexandru Moșoi
solve: added flag to set preprocessing routines.
Alexandru Moșoi avatarAlexandru Moșoi
sat: Removed DoNothing().
  1. Prev
  2. Next
Help
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.