Commits

Branch selector

master

User selector

All users

All time

Commit history

Commits on Jun 30, 2022

• better error handling

  jia-kai

  committed
  df6612dView commit details

  Copy full SHA for df6612d

  Browse repository at this point

Commits on Nov 30, 2021

• apply fixes for ABI safety:

  Show description for 21b5a73
  jia-kai

  committed
  21b5a73View commit details

  Copy full SHA for 21b5a73

  Browse repository at this point

Commits on Nov 29, 2021

• fix compile on gcc 11

  jia-kai

  committed
  a333d5cView commit details

  Copy full SHA for a333d5c

  Browse repository at this point

Commits on Feb 18, 2021

• update README

  jia-kai

  committed
  40c5bbeView commit details

  Copy full SHA for 40c5bbe

  Browse repository at this point

Commits on Oct 10, 2020

• Update README.md

  jia-kai

  authored
  d741e62View commit details

  Copy full SHA for d741e62

  Browse repository at this point

• Create README.md

  jia-kai

  authored
  68fce69View commit details

  Copy full SHA for 68fce69

  Browse repository at this point

Commits on Aug 9, 2020

• fix compile with opt

  jia-kai

  committed
  e99e503View commit details

  Copy full SHA for e99e503

  Browse repository at this point

• add missing header

  jia-kai

  committed
  f6e1ac2View commit details

  Copy full SHA for f6e1ac2

  Browse repository at this point

Commits on Apr 30, 2020

• Do not propagate on removed LEQ clauses

  jia-kai

  committed
  bb43e8cView commit details

  Copy full SHA for bb43e8c

  Browse repository at this point

Commits on Apr 24, 2020

• Fix stats formatting and add LEQ bound stat

  jia-kai

  committed
  2816347View commit details

  Copy full SHA for 2816347

  Browse repository at this point

Commits on Feb 13, 2020

• Add Optimizations:

  Show description for 687f60a
  jia-kai

  committed
  687f60aView commit details

  Copy full SHA for 687f60a

  Browse repository at this point

Commits on Feb 12, 2020

• Support var name in Dimacs

  jia-kai

  committed
  d45de8bView commit details

  Copy full SHA for d45de8b

  Browse repository at this point

• Add clause recorder

  jia-kai

  committed
  f6c5411View commit details

  Copy full SHA for f6c5411

  Browse repository at this point

Commits on Feb 1, 2020

• Rename wrapper header

  jia-kai

  committed
  687b217View commit details

  Copy full SHA for 687b217

  Browse repository at this point

Commits on Jan 31, 2020

• Slight improvement of lits selection

  jia-kai

  committed
  3012c14View commit details

  Copy full SHA for 3012c14

  Browse repository at this point

• Add timeout option

  jia-kai

  committed
  5eee8b4View commit details

  Copy full SHA for 5eee8b4

  Browse repository at this point

• Refactor lbool to be more explicit and safer

  jia-kai

  committed
  b4cf056View commit details

  Copy full SHA for b4cf056

  Browse repository at this point

Commits on Jan 29, 2020

• Add parsing of var preference settings

  jia-kai

  committed
  a148bd5View commit details

  Copy full SHA for a148bd5

  Browse repository at this point

Commits on Jan 28, 2020

• Add debug print support

  jia-kai

  committed
  3ad17fdView commit details

  Copy full SHA for 3ad17fd

  Browse repository at this point

Commits on Jan 27, 2020

• Cleanup RNG code

  jia-kai

  committed
  ee52e66View commit details

  Copy full SHA for ee52e66

  Browse repository at this point

Commits on Jan 25, 2020

• 1. Improve verbose messages from solver

  Show description for 6cdfa2a
  jia-kai

  committed
  6cdfa2aView commit details

  Copy full SHA for 6cdfa2a

  Browse repository at this point

Commits on Jan 23, 2020

• add rnd-pol option

  jia-kai

  committed
  850ab53View commit details

  Copy full SHA for 850ab53

  Browse repository at this point

Commits on Jan 22, 2020

• minor speed up by prefetching

  jia-kai

  committed
  3047246View commit details

  Copy full SHA for 3047246

  Browse repository at this point

Commits on Jan 20, 2020

• add initial support for carninality constraints

  jia-kai

  committed
  f66f9efView commit details

  Copy full SHA for f66f9ef

  Browse repository at this point

• rewrite vec and fix compile warnings

  jia-kai

  committed
  348f0a2View commit details

  Copy full SHA for 348f0a2

  Browse repository at this point

• reformat some files

  jia-kai

  committed
  e7cc054View commit details

  Copy full SHA for e7cc054

  Browse repository at this point

Commits on Jan 16, 2020

• fix compile and use CMake and test files from master-keying/minisat

  jia-kai

  committed
  ce22080View commit details

  Copy full SHA for ce22080

  Browse repository at this point

• move files

  jia-kai

  committed
  3b5dc59View commit details

  Copy full SHA for 3b5dc59

  Browse repository at this point

Commits on Jul 10, 2010

• Remove a file that is not used in main branch.

  niklasso

  committed
  eb01ad6View commit details

  Copy full SHA for eb01ad6

  Browse repository at this point

• Add a first version of release notes.

  niklasso

  committed
  d0dd522View commit details

  Copy full SHA for d0dd522

  Browse repository at this point

• Fixing weirdness of RegionAllocator.

  niklasso

  committed
  d4c8795View commit details

  Copy full SHA for d4c8795

  Browse repository at this point

Commits on Jun 23, 2010

• Split memory-usage functions into current and peak versions.

  Show description for fa6a96c
  niklasso

  committed
  fa6a96cView commit details

  Copy full SHA for fa6a96c

  Browse repository at this point

Commits on Jun 10, 2010

• Non-branching implementations of ternary conjunction/disjunction.

  Show description for 1cc7ae6
  niklasso

  committed
  1cc7ae6View commit details

  Copy full SHA for 1cc7ae6

  Browse repository at this point

Commits on May 22, 2010

• In 'toDimacs()', handle case where solver is in a contradictory state.

  niklasso

  committed
  272eea5View commit details

  Copy full SHA for 272eea5

  Browse repository at this point

Commits on May 10, 2010

• Move DIMACS writing function from SimpSolver to Solver.

  niklasso

  committed
  909de43View commit details

  Copy full SHA for 909de43

  Browse repository at this point