siala

Researcher in Computer Science (LAAS-CNRS & INSA). Previously in University College Cork, and Insight Centre for Data Analytics, Ireland

LAAS-CNRSToulouse

Pinned Repositories

csplib
A benchmark library for constraints
Language:Prolog82 20 4767
Mistral-2.0
Language:C++31 9 75
Numberjack
Python Combinatorial Optimisation Platform
Language:C++157 24 4936
minizinc-benchmarks
A suite of MiniZinc benchmarks.
Language:C82 17 529
csplib
A benchmark library for constraints
Language:Prolog00
Hybrid-Mistral
Towards a hybrid CP/SAT Solver
Language:C++20
kissat
Language:C10
Numberjack
Python Combinatorial Optimisation Platform
Language:C++0 1 00
sat-modelling-for-students
Language:Python0 1 00
siala.github.io
My Homepage
Language:HTML0 1 00

siala's Repositories

siala/Hybrid-Mistral
Towards a hybrid CP/SAT Solver
Language:C++20
siala/kissat
Language:C10
siala/csplib
A benchmark library for constraints
Language:Prolog00
siala/Numberjack
Python Combinatorial Optimisation Platform
Language:C++0 1 00
siala/sat-modelling-for-students
Language:Python0 1 00
siala/siala.github.io
My Homepage
Language:HTML0 1 00