This book is meant to provide context on JuliaCP. It's the documentation on my journey implementing MiniCP in Julia. I will strive to provide an explanation on everything I've come across accompanied by examples and appropriate diagrams.
The book has been written using quarto.
- Preface
- Acknowledgement
- What JuliaCP is
- What JuliaCP is not
- Introduction
- A brief description on JuliaCP
- A brief on search
- Search methods
- Heuristics
- Function based search - ML, Reinforcement Learning
- Backtracking
- The pattern behind it
- Examples on backtracking
- Binary Printer
- Decimal Printer
- Dice problem
- NQueens
- Sudoku
- Constraint Programming
- Description
- Motivation
- Discrete Problems
- Declarative programming
- Examples
- Mentions:
- Linear Programming
- MILP
- IP
- Transportation Problems
- JuliaCP Introduction
- Motivation
- High-Level Description
- Component Architecture
- Component Descriptions
- Layout for all other chapters that follow
- State Management
- Domains
- Variables
- Domain Listener
- Solver
- Constraints - major topic
- Search
- Objective
- Branching Scheme
Chapters will be further expanded as writing proceeds