summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2022-01-15Revert "Slightly better sorting key"inc-adj-listMatthew Sotoudeh
2022-01-15Slightly better sorting keyMatthew Sotoudeh
2022-01-15pqueue for the worklistMatthew Sotoudeh
2022-01-14Magic number tuningMatthew Sotoudeh
2022-01-14Remove pc_n_times_updated entirelyMatthew Sotoudeh
2022-01-14Try a global counter insteadMatthew Sotoudeh
2022-01-14Avoid some more hash accessesMatthew Sotoudeh
2022-01-14Revert "Try without the path_lb check"Matthew Sotoudeh
2022-01-14Try without the path_lb checkMatthew Sotoudeh
2022-01-13Try to avoid a few Integer copiesMatthew Sotoudeh
2022-01-13Try to cut down on double computationMatthew Sotoudeh
2022-01-13Revert "Nonlinear do_check"Matthew Sotoudeh
2022-01-13Try something elseMatthew Sotoudeh
2022-01-13Nonlinear do_checkMatthew Sotoudeh
2022-01-13Avoid allocs in postCheckMatthew Sotoudeh
2022-01-13Revert "Try a stack"Matthew Sotoudeh
2022-01-13Try a stackMatthew Sotoudeh
2022-01-13Power-of-two, also fix unsoundnessMatthew Sotoudeh
2022-01-13Use an approximate path lbMatthew Sotoudeh
2022-01-13More frequent unsat checks (but with a magic number...)Matthew Sotoudeh
2022-01-13vector<HM> for the facts tooMatthew Sotoudeh
2022-01-13Switch to vector-of-hashMatthew Sotoudeh
2022-01-13Fi a few thingsMatthew Sotoudeh
2022-01-13Adjacency listMatthew Sotoudeh
2022-01-11This seems to be the best of the past few commitsincremental-current-bestincremental-adj-for-dirtyMatthew Sotoudeh
2022-01-11Just the dirty bit and CSEMatthew Sotoudeh
2022-01-11Revert "Try storing adjacency list"Matthew Sotoudeh
2022-01-11Try storing adjacency listMatthew Sotoudeh
2022-01-11Try #1 for dirty nodesMatthew Sotoudeh
2022-01-10Use integer where easy toMatthew Sotoudeh
2022-01-10Avoid hash tablesMatthew Sotoudeh
2022-01-10Fix bug with incremental solverMatthew Sotoudeh
2022-01-07Propagate facts only at decision levelsMatthew Sotoudeh
2022-01-07Update rewriterMatthew Sotoudeh
2022-01-07Incremental Bellman-Ford implementation, seems to work fastMatthew Sotoudeh
2022-01-07Buggy incremental Floyd-WarshallMatthew Sotoudeh
2022-01-06Working on incremental solvingMatthew Sotoudeh
2022-01-06Floyd-Warshall is betterMatthew Sotoudeh
2022-01-06Check in some scriptsMatthew Sotoudeh
2022-01-06Bellman-Ford don't try to return as many cyclesMatthew Sotoudeh
2022-01-05Timeouts on the new cycle-findingMatthew Sotoudeh
2022-01-05Better cycle findingMatthew Sotoudeh
2022-01-04Switch to Bellman-Ford, extract the negative cycle, use as conflictMatthew Sotoudeh
2022-01-04Use skolem var instead of constantMatthew Sotoudeh
2022-01-04Support asserts like (= x 5)Matthew Sotoudeh
2022-01-03Some formatting, remove sanitizersMatthew Sotoudeh
2022-01-03Initial workingMatthew Sotoudeh
2022-01-03Update projectAndres Noetzli
2022-01-03Add instructions for cluster runsAndres Noetzli
2022-01-03IDL solver starter projectAndres Noetzli
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback