 DricomDragon
|
96920e094b
WIP : study with domain
|
5 years ago |
|
DricomDragon
|
cdbe4550e2
Create courses and generate registrations
|
5 years ago |
|
DricomDragon
|
50d79371b8
Derive prime property from compose
|
5 years ago |
|
DricomDragon
|
187c2d683c
Create composed relation
|
5 years ago |
|
DricomDragon
|
323a4808a5
Add ancestor relation
|
5 years ago |
|
DricomDragon
|
98036cc029
Define family relations
|
5 years ago |
|
DricomDragon
|
23a4f57d5d
Indroduce the use of constants
|
5 years ago |
|
DricomDragon
|
9d19436326
Add different uses of range
|
5 years ago |
|
DricomDragon
|
e941b3cdc6
Improve declaration of multiples
|
5 years ago |
|
DricomDragon
|
f06411a666
Create multi
|
5 years ago |
|
DricomDragon
|
5eb8b05900
Third version of polys generation
|
5 years ago |
|
DricomDragon
|
d25755347a
Second version of polys
|
5 years ago |
|
DricomDragon
|
32f2f44241
First version of polys
|
5 years ago |
|
DricomDragon
|
b549cd04c7
Shorten declarations of cities
|
5 years ago |
|
DricomDragon
|
82b3567aa5
Define warm cities
|
5 years ago |
|
DricomDragon
|
e7cb7fac68
Highlight dots in middle of lines
|
5 years ago |
|
DricomDragon
|
fce10584a3
Exercice 5 of TD1
|
5 years ago |
|
DricomDragon
|
7bf7844217
Import optimization example from potassco guide
|
5 years ago |
|
DricomDragon
|
f8e4307238
Import code from TD1 exercice 3
|
5 years ago |
|
DricomDragon
|
c088e75714
Restrict error color to ending chars
|
5 years ago |
|
DricomDragon
|
927551d754
Error at last char if no point at end of line
|
5 years ago |
|
DricomDragon
|
dcfdac5eee
Create script for easy vim color installation
|
5 years ago |
|
DricomDragon
|
8e298921d6
Import exercice 2 from TD1
|
5 years ago |
|
DricomDragon
|
4b80b63325
Fix program to find murderer
|
5 years ago |
|
DricomDragon
|
bfad0d8544
Create experiment folder
|
5 years ago |
|
DricomDragon
|
33ea85e370
Import hanoi towers example
|
5 years ago |
|
DricomDragon
|
007c416374
Create color syntax for ASP
|
5 years ago |
|
DricomDragon
|
ced2242f81
Get the code more expressive
|
5 years ago |
|
DricomDragon
|
de9c5c28ca
Import code from TD
|
5 years ago |
|
DricomDragon
|
c132e5874f
Import example code from lesson slides
|
5 years ago |
