Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 22, 2022

• Eliminated --wanr=no-variable-unbounded option

  javier-romero

  authored
  3bba977

  Copy full SHA for 3bba977

• Eliminated --wanr=no-variable-unbounded option

  javier-romero

  authored
  fc89d50

  Copy full SHA for fc89d50

• Update test.py

  javier-romero

  authored
  a4221fc

  Copy full SHA for a4221fc

Commits on Oct 28, 2022

• Update theory-solving-evaluation.ipynb

  javier-romero

  authored
  99bb7a4

  Copy full SHA for 99bb7a4

Commits on Oct 14, 2022

• Merge branch 'master' of github.com:potassco-asp-course/notebooks

  javier-romero

  committed
  4d8a345

  Copy full SHA for 4d8a345

• cleaned language notebook

  javier-romero

  committed
  e7b0eba

  Copy full SHA for e7b0eba

Commits on Oct 7, 2022

• Update minotaur.ipynb

  javier-romero

  authored
  6190f31

  Copy full SHA for 6190f31

Commits on Oct 6, 2022

• Update seeknumbers.ipynb

  javier-romero

  authored
  654f525

  Copy full SHA for 654f525

• Update sudoku.ipynb

  javier-romero

  authored
  288f4e9

  Copy full SHA for 288f4e9

• Update sudoku.ipynb

  javier-romero

  authored
  dd802b5

  Copy full SHA for dd802b5

Commits on Jul 15, 2022

• Update theory-solving-evaluation.ipynb

  javier-romero

  authored
  91b0e34

  Copy full SHA for 91b0e34

• Update theory-solving-evaluation.ipynb

  javier-romero

  authored
  8e96715

  Copy full SHA for 8e96715

• Update theory-solving-evaluation.ipynb

  javier-romero

  authored
  7db58f7

  Copy full SHA for 7db58f7

• Update theory-solving-evaluation.ipynb

  javier-romero

  authored
  739db7a

  Copy full SHA for 739db7a

• Slightly improve description

  javier-romero

  authored
  95aa825

  Copy full SHA for 95aa825

Commits on Jun 28, 2022

• Update theory-solving.ipynb

  javier-romero

  authored
  490e1e0

  Copy full SHA for 490e1e0

Commits on Jun 16, 2022

• Update README.md

  javier-romero

  authored
  e37b494

  Copy full SHA for e37b494

Commits on Jun 15, 2022

• minor update

  javier-romero

  committed
  daeedea

  Copy full SHA for daeedea

Commits on Jun 6, 2022

• Bugfix for clingo-5.1.0

  javier-romero

  authored
  627fa00

  Copy full SHA for 627fa00

Commits on Apr 27, 2022

• updated scheduling

  javier-romero

  committed
  f2166d2

  Copy full SHA for f2166d2

• Fixed typo

  javier-romero

  authored
  53ae3d0

  Copy full SHA for 53ae3d0

• Fixed typo

  javier-romero

  authored
  37a9418

  Copy full SHA for 37a9418

• Updated the link to binder

  javier-romero

  authored
  f56b011

  Copy full SHA for f56b011

• Merge pull request #15 from potassco-asp-course/clingo-5.5

  Show description for c3b6c4f
  javier-romero

  authored
  c3b6c4f

  Copy full SHA for c3b6c4f

• Merge pull request #14 from potassco-asp-course/WiSe21

  Show description for 5ea6d75
  javier-romero

  authored
  5ea6d75

  Copy full SHA for 5ea6d75

• Merge branch 'WiSe21' of github.com:potassco-asp-course/notebooks into WiSe21

  Show description for 98a2213
  javier-romero

  committed
  98a2213

  Copy full SHA for 98a2213

• adding titles

  javier-romero

  committed
  353cb53

  Copy full SHA for 353cb53

Commits on Mar 30, 2022

• Merge pull request #13 from potassco-asp-course/WiSe21

  Show description for 5afef5d
  javier-romero

  authored
  5afef5d

  Copy full SHA for 5afef5d

Commits on Feb 7, 2022

• Update README.md

  javier-romero

  authored
  bd6760e

  Copy full SHA for bd6760e

Commits on Jan 26, 2022

• Fixed typo

  javier-romero

  authored
  bcc7f8a

  Copy full SHA for bcc7f8a

• Fixed typo

  javier-romero

  authored
  8d9d841

  Copy full SHA for 8d9d841

Commits on Dec 9, 2021

• updated to new test

  javier-romero

  committed
  2d47316

  Copy full SHA for 2d47316

Commits on Nov 30, 2021

• updated to new format

  javier-romero

  committed
  7a61bbf

  Copy full SHA for 7a61bbf

• updated to new format

  javier-romero

  committed
  6d2c87f

  Copy full SHA for 6d2c87f

Commits on Nov 25, 2021

• minor

  javier-romero

  committed
  7db3fa5

  Copy full SHA for 7db3fa5

Pagination

Previous

Next