Commit graph

16 commits

Author SHA1 Message Date
0874188b06 Merge branch 'task_job_verwechslung' of PSSAI_Team/JobShopScheduling into master 2017-06-26 21:43:58 +02:00
457eaf74be Update 'doc.md' 2017-06-26 21:43:14 +02:00
e82512f2b0 correct possible ambiguation of and 2017-06-26 14:16:02 +02:00
3b8fd60ede Merge branch 'master' of ssh://git.orlives.de:1337/PSSAI_Team/JobShopScheduling 2017-06-23 19:05:56 +02:00
58c386175e merge 2017-06-23 19:05:31 +02:00
b68ff321bb Merge branch 'treffen1' of PSSAI_Team/JobShopScheduling into master 2017-06-23 19:02:27 +02:00
21f78a0479 initial documentation 2017-06-23 19:00:50 +02:00
f9f852ced1 Merge branch 'treffen1' into documentation 2017-06-23 09:56:20 +02:00
26c229929d require python 3.6 2017-06-20 16:25:18 +02:00
626ffdd4e2 clarify index j 2017-06-20 16:14:04 +02:00
d5360a98fa add mypy_cache to gitignore
closes #1
2017-06-20 15:05:38 +02:00
faf380591b created placeholder main file 2017-06-19 00:15:15 +02:00
5c84386ba1 add mypy as a requirement 2017-06-18 23:02:12 +02:00
2075f49bd5 instructions on using a venv 2017-06-18 22:49:37 +02:00
06483bae4d added readme with some tooling info 2017-06-17 01:32:29 +02:00
1b9725b7e4 Notizen mit formalen Überlegungen 2017-06-01 01:04:08 +02:00