ptal/pcp ptal/pcp

  • Stars
    star
    101
  • Rank 338,166 (Top 7 %)
  • Language
    Rust
  • License
    Apache License 2.0
  • Created almost 10 years ago
  • Updated about 1 year 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
142
star
2

expected

What did you expect?
C++
113
star
3

intervallum

Integer interval arithmetic library
Rust
17
star
4

std-expected-proposal

Proposal for the expected class.
TeX
17
star
5

turbo

A constraint solver purely on GPUs (CUDA)
C++
16
star
6

bonsai

Programming language based on the synchronous and constraint paradigms
Java
15
star
7

AbSolute

Constraint solver based on abstract interpretation
OCaml
10
star
8

kobe-scheduling

Data sets for the resource-constrained project scheduling problem (RCPSP)
JavaScript
9
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

bonsai-model-checking

Model-checking using the Bonsai language
Java
1
star
15

online-broker

JavaScript
1
star
16

checkdigit

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

lab1-introduction-ocaml

OCaml
1
star
18

absolute-demo

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