CompositionalNetworks.jl is a Julia package for Interpretable Compositional Networks (ICN), a variant of neural networks, allowing the user to get interpretable results, unlike regular artificial neural networks.
The current state of our ICN focuses on the composition of error functions for LocalSearchSolvers.jl (both packages got their first beta release today), but produces results independently of it and export it to either/both Julia functions or/and human-readable output.
Even though ICN are originally defined for a specific type of functions in Constraint Programming, it can be easily extended to other cases. Do not hesitate to ask or contribute.
LocalSearchSolvers.jl proposes sets of technical components of Constraint-Based Local Search (CBLS) solvers and combine them in various ways. Its goal is to solve Satisfaction and Optimization problems such as a Sudoku grid below, Golomb ruler, or even mincut in Graphs.
Non-exhaustive list of features to come
- Resolution of problems
- SATisfaction
- OPTimisation (single-objective)
- OPTimisation (multiple-objective)
- Domains
- Discrete domains (any type of numbers)
- Continuous domains
- Arbitrary Objects such as physical ones
- Parallelization
- Multi threading
- Distributed
- Solvers
- Weak-tabu list (method used in GHOST, the C++ lib)
- Adaptive Search
- Domain Specific Languages (DSL) & Integration
- Straight Julia
- JuMPish
- MiniZinc
- Others
- Dynamic problems
- Neighbourhoud selection
- Variable selection
- Mixed-solvers/methods with learning
Do not hesitate to contribute, file issue, or ask questions 