0
I Use This!
Inactive

Commits : Listings

Analyzed about 18 hours ago. based on code collected 1 day ago.
Mar 27, 2023 — Mar 27, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
removed project/.bloop More... over 2 years ago
removed bsp More... over 2 years ago
removed pprints from SAT solver More... over 2 years ago
tweaks to text queens More... over 2 years ago
NQueens prints text More... over 2 years ago
SAT model/proof html output More... almost 3 years ago
queens html picture More... almost 3 years ago
separating indexing from back trace More... almost 3 years ago
helper More... almost 3 years ago
cleaner solutions, common trait More... almost 3 years ago
more bugs fixed, NQueens works More... almost 3 years ago
more bugs corrected, some cases fine More... almost 3 years ago
some debugging More... almost 3 years ago
steps for solver with proof and less backtracking More... almost 3 years ago
eight queens solved More... almost 3 years ago
map as output More... almost 3 years ago
correction, purging tautologies More... almost 3 years ago
dpll correction, clean up More... almost 3 years ago
DPLL code, untested More... almost 3 years ago
allowing formula variables More... almost 3 years ago
tweaks; need formal variables More... almost 3 years ago
refactoring fol More... almost 3 years ago
reviving fol More... almost 3 years ago
batch fitting for proof scores, untested More... almost 3 years ago
steps for batch processing More... almost 3 years ago
methods for using learner More... almost 3 years ago
concrete proof scores learner More... almost 3 years ago
Relu, sigmoid stack with data More... almost 3 years ago
stacking sigmoids DSL More... almost 3 years ago
getting variables in score predictor More... almost 3 years ago