1. 16 avr., 2016 1 validation
  2. 13 avr., 2016 5 validations
  3. 12 avr., 2016 4 validations
  4. 11 avr., 2016 7 validations
  5. 10 avr., 2016 8 validations
  6. 09 avr., 2016 7 validations
  7. 08 avr., 2016 3 validations
    • C.G.Vedant's avatar
      Added TicTacToe to canvas (#174) · 68a66007
      C.G.Vedant a écrit
      * added kernel test notebook
      
      * modified kernel.ipynb
      
      * Added canvas support
      
      * Added mouseclick to canvas
      
      * add TicTacToe to canvas
      
      * removed import statement in games.py
      
      * corrected HTML tags
      
      * Added comments and doctring
      
      * Added methods for drawing with normalized units
      
      * Added text support
      
      * Fixed int type during normalization
      68a66007
    • C.G.Vedant's avatar
      Implemented SAT_plan (#198) · ed417956
      C.G.Vedant a écrit
      * Fixed a typo in logic.py
      
      * Added translate_to_SAT()
      
      * extract solution from model
      
      * added test cases
      
      * removed debug code
      ed417956
    • Peter Norvig's avatar
      Expr with infix ops (#200) · e594aff8
      Peter Norvig a écrit
      Add InfixOps, refactor expo and Expr
      e594aff8
  8. 06 avr., 2016 1 validation
  9. 05 avr., 2016 4 validations