Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Sep 5, 2021

• removed project/.bloop

  siddhartha-gadgil

  committedSep 5, 2021
  e5e1759

• removed bsp

  siddhartha-gadgil

  committedSep 5, 2021
  f263341

Commits on Jul 17, 2021

• removed pprints from SAT solver

  siddhartha-gadgil

  committedJul 17, 2021
  bc75b41

Commits on Jul 5, 2021

• tweaks to text queens

  siddhartha-gadgil

  committedJul 5, 2021
  2953c36

• NQueens prints text

  siddhartha-gadgil

  committedJul 5, 2021
  246e17c

Commits on May 15, 2021

• SAT model/proof html output

  siddhartha-gadgil

  committedMay 15, 2021
  f1a86b5

• queens html picture

  siddhartha-gadgil

  committedMay 15, 2021
  0188297

Commits on May 6, 2021

• separating indexing from back trace

  siddhartha-gadgil

  committedMay 6, 2021
  c3fd67a

Commits on May 3, 2021

• helper

  siddhartha-gadgil

  committedMay 3, 2021
  6ebb605

Commits on May 1, 2021

• cleaner solutions, common trait

  siddhartha-gadgil

  committedMay 1, 2021
  cf99992

Commits on Apr 28, 2021

• more bugs fixed, NQueens works

  siddhartha-gadgil

  committedApr 28, 2021
  673f365

• more bugs corrected, some cases fine

  siddhartha-gadgil

  committedApr 28, 2021
  c25ed1f

• some debugging

  siddhartha-gadgil

  committedApr 28, 2021
  90013fd

• steps for solver with proof and less backtracking

  siddhartha-gadgil

  committedApr 28, 2021
  7dee5dd

Commits on Apr 27, 2021

• eight queens solved

  siddhartha-gadgil

  committedApr 27, 2021
  faecc04

• map as output

  siddhartha-gadgil

  committedApr 27, 2021
  9d108d1

• correction, purging tautologies

  siddhartha-gadgil

  committedApr 27, 2021
  a8b7fc2

• dpll correction, clean up

  siddhartha-gadgil

  committedApr 27, 2021
  4d969df

• DPLL code, untested

  siddhartha-gadgil

  committedApr 27, 2021
  bd51928

• allowing formula variables

  siddhartha-gadgil

  committedApr 27, 2021
  092afbf

• tweaks; need formal variables

  siddhartha-gadgil

  committedApr 27, 2021
  57b87ae

Commits on Apr 26, 2021

• refactoring fol

  siddhartha-gadgil

  committedApr 26, 2021
  3cd9f15

• reviving fol

  siddhartha-gadgil

  committedApr 26, 2021
  5e60a98

Commits on Apr 24, 2021

• batch fitting for proof scores, untested

  siddhartha-gadgil

  committedApr 24, 2021
  8f30f1d

Commits on Apr 23, 2021

• steps for batch processing

  siddhartha-gadgil

  committedApr 23, 2021
  4af4d90

• methods for using learner

  siddhartha-gadgil

  committedApr 23, 2021
  9974cf6

• concrete proof scores learner

  siddhartha-gadgil

  committedApr 23, 2021
  14b47cb

• Relu, sigmoid stack with data

  siddhartha-gadgil

  committedApr 23, 2021
  501fccb

• stacking sigmoids DSL

  siddhartha-gadgil

  committedApr 23, 2021
  24dea2b

• getting variables in score predictor

  siddhartha-gadgil

  committedApr 23, 2021
  820bcf7

• getting vars in layers, tweak to allow batches

  siddhartha-gadgil

  committedApr 23, 2021
  f949efc

• slight cleanup; next: type parameters, get/set vars

  siddhartha-gadgil

  committedApr 23, 2021
  d80348b

Commits on Apr 22, 2021

• tweaks to predictor, no batches yet

  siddhartha-gadgil

  committedApr 22, 2021
  2f799b0

• Start of score prediction with tensorflow

  siddhartha-gadgil

  committedApr 22, 2021
  85d39d7

Commits on Apr 21, 2021

• cleaner, untested, representation from ingredients

  siddhartha-gadgil

  committedApr 21, 2021
  47f555b

Pagination

PreviousNext