A fast lean and clean modern constraint programming solver implementation (in rust)

Last update: Jun 8, 2022

MaxiCP-rs

Rust codecov

This project aims at implementing a fast, and clean constraint programming solver with a focus on correctness, simplicity, maintainability and performance. It is largely inspired by both minicp (https://www.minicp.org) and maxicp (https://pschaus.github.io/maxicp/).

NOTE: This is pretty much a pet project and a work in progress. We'll see where this leads.

maxicp-rs-logo

Roadmap to minimum viable product

  • State
    • Implement a trailing mechanism
    • Implement reversible sparse set
    • Implement reversible interval
  • Engine
    • Implement bool var
    • Implement int variables
    • Define constraint and propagator traits
    • Implement the solver with propagation fixpoint
    • Test the solver propagation
    • Implement views
    • Implement the basic constraints
      • Abs value :: x == |y|
      • not equal const :: x != v
      • not equal :: x != y
      • is not equal :: b <==> (x != v)
      • is not equal (var) :: b <==> (x != y)
      • equal :: x == y
      • is equal :: b <==> x == v
      • is equal (var) :: b <==> x == y
      • LE :: x <= v
      • LE :: x <= y
      • GE :: x >= v
      • GE :: x >= y
      • is LE :: b <==> x <= v
      • is LE (var) :: b <==> x <= y
      • is GE :: b <==> (x >= v)
      • is GE (var) :: b <==> (x >= y)
      • is or (var) :: b <==> (x || y)
      • must be true x
      • maximum
      • sum
      • All diff binary
      • All diff dc
      • All diff fwc
      • All diff binary
      • circuit
      • cumulative
      • cumulative decomp
      • disjunctive
      • element_1d
      • element_1d DC
      • element_2d
  • Search
    • Implement search strategies
  • Bindings
    • For Python3 (with pyo3)
    • For C++ (with cxx)
    • For Java (maybe consider)

Maybe later

  • State
    • Implement reversible lazy sparse set
    • Implement fast and efficient bitsets
    • Implement reversible bitset
    • Implement reversible tri partition
    • Implement reversible stack (push only)
  • Engine
    • Implement sequence variables
    • Implement more constraints (tables)

GitHub

https://github.com/xgillard/maxicp-rs
You might also like...

Cogo is a high-performance library for programming stackful coroutines with which you can easily develop and maintain massive concurrent programs.

Cogo is a high-performance library for programming stackful coroutines with which you can easily develop and maintain massive concurrent programs.

Cogo is a high-performance library for programming stackful coroutines with which you can easily develop and maintain massive concurrent programs.

Jun 17, 2022

Nyah is a programming language runtime built for high performance and comes with a scripting language.

🐱 Nyah ( Unfinished ) Nyah is a programming language runtime built for high performance and comes with a scripting language. 🎖️ Status Nyah is not c

Mar 6, 2022

🐱 A high-speed JIT programming language and its runtime, meow~

🐱 A high-speed JIT programming language and its runtime, meow~

Jun 12, 2022

A statically-typed, interpreted programming language, with generics and type inference

Glide A programming language. Currently, this includes: Static typing Generics, with monomorphization Type inference on function calls func identityT

Apr 10, 2022

clone of grep cli written in Rust. From Chapter 12 of the Rust Programming Language book

minigrep is a clone of the grep cli in rust Minigrep will find a query string in a file. To test it out, clone the project and run cargo run body poem

Dec 14, 2021

The Rust Compiler Collection is a collection of compilers for various languages, written with The Rust Programming Language.

rcc The Rust Compiler Collection is a collection of compilers for various languages, written with The Rust Programming Language. Compilers Language Co

Jan 17, 2022

Nixt is an interpreted programming language written in Rust

Nixt Nixt is an interpreted lisp inspired programming language written in Rust Index About Examples Installation Build About Nixt goal is to provide a

Apr 16, 2022

a function programming language for real world applications made in rust

a function programming language for real world applications made in rust

Jun 12, 2022

Aspect-oriented programming in Rust

Aspect Oriented Programming (AOP) for Rust The needs of AOP Aspect-oriented programming (AOP) is a programming paradigm that aims to increase modulari

May 31, 2022
Featured Dioxus projects on how to build clean user interfaces in Rust
Featured Dioxus projects on how to build clean user interfaces in Rust

Example projects with Dioxus This repository holds the code for a variety of example projects built with Dioxus. Each project has information on how t

Jun 15, 2022
Rust implementation of µKanren, a featherweight relational programming language.

µKanren-rs This is a Rust implementation of µKanren, a featherweight relational programming language. See the original Scheme implementation here for

May 28, 2022
fast rust implementation of online nonnegative matrix factorization as laid out in the paper "detect and track latent factors with online nonnegative matrix factorization"

ONMF status: early work in progress. still figuring this out. code still somewhat messy. api still in flux. fast rust implementation of online nonnega

Apr 10, 2020
A repository for showcasing my knowledge of the Rust programming language, and continuing to learn the language.

Learning Rust I started learning the Rust programming language before using GitHub, but increased its usage afterwards. I have found it to be a fast a

Nov 25, 2021
A simple programming language for something between C and Rust.

inuc inuc is a systems programming language that is something between C and Rust. Features : [] Strong , static typing (type inference not a priority

Feb 7, 2022
A set of Zero Knowledge modules, written in Rust and designed to be used in other system programming environments.

Zerokit A set of Zero Knowledge modules, written in Rust and designed to be used in other system programming environments. Initial scope Focus on RLN

May 23, 2022
Orion lang is a lispy programming language that is strongly and statically typed.
Orion lang is a lispy programming language that is strongly and statically typed.

Orion Orion is a lisp inspired statically typed programming language written in Rust Install To install orion you can either: Download binary from the

Jun 15, 2022
Mote is a systems-programming language designed to be practical, performant, and simple.
Mote is a systems-programming language designed to be practical, performant, and simple.

Mote NOTE: this following lists the goals for what Mote is supposed to be. It does not promise that any of the features here will be accomplished or a

Jul 28, 2021
lints and suggestions for the nix programming language

statix Lints and suggestions for the Nix programming language. statix highlights antipatterns in Nix code. statix --fix can fix several such occurrenc

Jun 24, 2022
A turing-complete programming language using only zero-width unicode characters, inspired by brainfuck and whitespace.

Zero-Width A turing-complete programming language using only zero-width unicode characters, inspired by brainfuck and whitespace. Currently a (possibl

Jan 14, 2022