ptal/pcp ptal/pcp

  • Stars
    star
    93
  • Rank 348,640 (Top 8 %)
  • Language
    Rust
  • License
    Apache License 2.0
  • Created over 9 years ago
  • Updated 6 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ptal/pcp
github

ptal

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Constraint programming in Rust

More Repositories

1

oak

A typed parser generator embedded in Rust code for Parsing Expression Grammars
Rust
139
star
2

expected

What did you expect?
C++
113
star
3

std-expected-proposal

Proposal for the expected class.
TeX
17
star
4

intervallum

Integer interval arithmetic library
Rust
14
star
5

bonsai

Programming language based on the synchronous and constraint paradigms
Java
14
star
6

AbSolute

Constraint solver based on abstract interpretation
OCaml
10
star
7

turbo

A constraint solver purely on GPUs (CUDA)
C++
10
star
8

kobe-scheduling

Data sets for the resource-constrained project scheduling problem (RCPSP)
JavaScript
8
star
9

neev

Event-driven networking library on top of Boost.Asio
C++
4
star
10

gcollections

Generic Rust Collection
Rust
2
star
11

trilean

Three-valued logics in Rust
Rust
2
star
12

chatroom

Java
1
star
13

lol2D

Java
1
star
14

absolute-demo

Demo and examples of the AbSolute constraint solver.
OCaml
1
star
15

bonsai-model-checking

Model-checking using the Bonsai language
Java
1
star
16

online-broker

JavaScript
1
star
17

checkdigit

Checkdigit validator/generator library aimed to be proposed in Boost
C++
1
star
18

lab1-introduction-ocaml

OCaml
1
star