Notebooks about Choco-solver advanced usages These notebooks are dedicated to exemplify advanced usages of Choco-solver. It comes in complement of the documentation and tutorials. Based on IJava binder. How to start solving based on a given solution ? How to run CDCL algorithm ? How to use conditional constraint ?