Tut2#4

Open

FloraJuliane wants to merge 48 commits intoGreenSolver:masterfrom

FloraJuliane:tut2

Commits on Apr 17, 2018

new structure
Willem Visser
committed
Deleted file .DS_store
wvisser
authored

Commits on Apr 30, 2018

proper tests for new CNF factoriser

Willem Visser
authored and
Willem Visser
committed

Commits on Jul 23, 2018

Commits on Jul 24, 2018

Update and rename README.txt to README.md
wvisser
authored
Update README.md
wvisser
authored
Update README.md
wvisser
authored
Update README.md
FloraJuliane
authored
uncommented test
Flora
committed
fixed fail
Flora
committed
changed travis.yml to run docker
Flora
committed
added a dot
Flora
committed
changed
Flora
committed
changed
Flora
committed
changed
Flora
committed
changed
Flora
committed
changed
Flora
committed
changed
Flora
committed
changed
Flora
committed
changed
Flora
committed
changed
Flora
committed
changed
Flora
committed

Commits on Jul 27, 2018

changed spaces
Flora
committed

Commits on Jul 30, 2018

changed fromatter type to brief to show failing tests nicely
Flora
committed
failing one test
Flora
committed
changed dockerfile to my repo
Flora
committed
make the test passing again
Flora
committed

Commits on Jul 31, 2018

trying to understand
Flora
committed

Commits on Aug 13, 2018

propagation of one constant
Flora
committed