issues
search
jsboigeEpita
/
2023-EPITA-SCIA-PPC-Sudoku-CV
MIT License
0
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Nouvelle fonctionnalité Byte
#29
Reyane141101
closed
4 months ago
1
push_retry adding new fonctionnality for Sudoku.LinqToZ3 lib
#28
Reyane141101
closed
5 months ago
1
Intégration des techniques Z3 bas-niveau dans Linq2z3
#27
jsboigeEpita
opened
12 months ago
21
Norvig array version not working
#26
Mael-221
closed
1 year ago
0
Add simulated annealing
#25
Exared
closed
1 year ago
0
Implémentation DXLib
#24
K-bNd
closed
1 year ago
0
Nouvelle PR pour le solver a la Norvig
#23
Mael-221
closed
1 year ago
2
Linq2Z3 API Z3 et API Z3 with byte implementation
#22
Denissto
closed
1 year ago
1
Implémentation du TSP PSO
#21
maxence-oden
closed
1 year ago
2
Pull Request pour le solver de Sudoku à la Norvig
#20
Mael-221
closed
1 year ago
2
Java ChocoSolver Implementation
#19
tgenlis83
closed
1 year ago
1
Add two new version CP origin and MIP
#18
brioche2024
closed
1 year ago
1
Mip solver
#17
SmileOstorlab
closed
1 year ago
0
CNN Sudoku Solver
#16
sinansoulier
closed
1 year ago
0
Added permutation Initialisation
#15
Coartix
closed
1 year ago
0
GeneticSharp
#14
Coartix
closed
1 year ago
0
Chocosolver with IVKM and Java jar
#13
bastienpo
closed
1 year ago
1
Genetic Algorithm
#12
Coartix
closed
1 year ago
0
Bastien
#11
Bast-94
closed
1 year ago
0
First version of OR-Tools
#10
brioche2024
closed
1 year ago
0
Update fork
#9
brioche2024
closed
1 year ago
0
Z3 solver with linq implementation done
#8
meliioko
closed
1 year ago
0
PSOSolver
#7
maxence-oden
closed
1 year ago
0
Dev
#6
rnudb
closed
1 year ago
1
PR : ChocoSolver
#5
tgenlis83
closed
1 year ago
1
Working Color Graph Algorithm using own DSatur implementation
#4
Louis-PAGNIER
closed
1 year ago
0
Template Coloration Graph
#3
Louis-PAGNIER
closed
1 year ago
0
Added empty solver for linqToZ3 project
#2
meliioko
closed
1 year ago
0
Ajout solver vide de démo en c# et en Python
#1
jsboige
closed
1 year ago
0