Giters
Mo Siala (siala)

siala

Geek Repo

10

followers

2

following

17

stars

Company:LAAS-CNRS

Location:Toulouse

Home Page:https://siala.github.io/

Twitter:@siala__

Github PK Tool:Github PK Tool

Mo Siala's repositories

Hybrid-Mistral

Towards a hybrid CP/SAT Solver

Language:C++Stargazers:2Issues:0Issues:0

kissat

Language:CLicense:MITStargazers:1Issues:0Issues:0

csplib

A benchmark library for constraints

Language:PrologStargazers:0Issues:0Issues:0

Numberjack

Python Combinatorial Optimisation Platform

Language:C++License:LGPL-2.1Stargazers:0Issues:1Issues:0

sat-modelling-for-students

Language:PythonStargazers:0Issues:1Issues:0

siala.github.io

My Homepage

Language:HTMLLicense:NOASSERTIONStargazers:0Issues:1Issues:0