vale1410 / cars Public

Notifications You must be signed in to change notification settings
Fork 0
Star 1

Modelling attempts for the car sequencing problem from the CSPLIB

1 star 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 166 Commits
asp		asp
bin		bin
data		data
doc		doc
experiment		experiment
gen		gen
sat		sat
README.md		README.md

Repository files navigation

Different SAT models for the car sequencing problem

Modelling attempts for the car sequencing problem from the CSPLIB

Description of the models

SAT Models: (subfolder gen)

e1 - e3) see paper description

About

Modelling attempts for the car sequencing problem from the CSPLIB

Report repository

Releases

No releases published

Packages

No packages published

Languages