openhub.net
Black Duck Software, Inc.
Black Duck Open Hub
Follow @
OH
Sign In
Join Now
Projects
People
Organizations
Tools
Blog
BDSA
Projects
People
Projects
Organizations
Forums
P
Proving Ground
Settings
|
Report Duplicate
0
I Use This!
×
Login Required
Log in to Open Hub
Remember Me
Inactive
Commits
: Listings
Analyzed
about 18 hours
ago. based on code collected
1 day
ago.
Mar 27, 2023 — Mar 27, 2024
Showing page 1 of 144
Search / Filter on:
Commit Message
Contributor
Files Modified
Lines Added
Lines Removed
Code Location
Date
removed project/.bloop
Siddhartha Gadgil
More...
over 2 years ago
removed bsp
Siddhartha Gadgil
More...
over 2 years ago
removed pprints from SAT solver
Siddhartha Gadgil
More...
over 2 years ago
tweaks to text queens
Siddhartha Gadgil
More...
over 2 years ago
NQueens prints text
Siddhartha Gadgil
More...
over 2 years ago
SAT model/proof html output
Siddhartha Gadgil
More...
almost 3 years ago
queens html picture
Siddhartha Gadgil
More...
almost 3 years ago
separating indexing from back trace
Siddhartha Gadgil
More...
almost 3 years ago
helper
Siddhartha Gadgil
More...
almost 3 years ago
cleaner solutions, common trait
Siddhartha Gadgil
More...
almost 3 years ago
more bugs fixed, NQueens works
Siddhartha Gadgil
More...
almost 3 years ago
more bugs corrected, some cases fine
Siddhartha Gadgil
More...
almost 3 years ago
some debugging
Siddhartha Gadgil
More...
almost 3 years ago
steps for solver with proof and less backtracking
Siddhartha Gadgil
More...
almost 3 years ago
eight queens solved
Siddhartha Gadgil
More...
almost 3 years ago
map as output
Siddhartha Gadgil
More...
almost 3 years ago
correction, purging tautologies
Siddhartha Gadgil
More...
almost 3 years ago
dpll correction, clean up
Siddhartha Gadgil
More...
almost 3 years ago
DPLL code, untested
Siddhartha Gadgil
More...
almost 3 years ago
allowing formula variables
Siddhartha Gadgil
More...
almost 3 years ago
tweaks; need formal variables
Siddhartha Gadgil
More...
almost 3 years ago
refactoring fol
Siddhartha Gadgil
More...
almost 3 years ago
reviving fol
Siddhartha Gadgil
More...
almost 3 years ago
batch fitting for proof scores, untested
Siddhartha Gadgil
More...
almost 3 years ago
steps for batch processing
Siddhartha Gadgil
More...
almost 3 years ago
methods for using learner
Siddhartha Gadgil
More...
almost 3 years ago
concrete proof scores learner
Siddhartha Gadgil
More...
almost 3 years ago
Relu, sigmoid stack with data
Siddhartha Gadgil
More...
almost 3 years ago
stacking sigmoids DSL
Siddhartha Gadgil
More...
almost 3 years ago
getting variables in score predictor
Siddhartha Gadgil
More...
almost 3 years ago
←
1
2
3
4
5
6
7
8
9
…
143
144
→
This site uses cookies to give you the best possible experience. By using the site, you consent to our use of cookies. For more information, please see our
Privacy Policy
Agree