-
Notifications
You must be signed in to change notification settings - Fork 8
/
lib.rs
38 lines (30 loc) · 1.19 KB
/
lib.rs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
// Copyright 2015 Pierre Talbot (IRCAM)
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
// http://www.apache.org/licenses/LICENSE-2.0
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
//! Constraint programming is a declarative programming paradigm mainly used to solve combinatorial problems where you state which constraints a solution must respect instead of explaining how to solve it.
#![crate_name = "pcp"]
#![feature(alloc, unboxed_closures, box_syntax, fnbox, never_type)]
#![feature(test)]
extern crate test;
extern crate interval;
extern crate gcollections;
extern crate num;
extern crate alloc;
extern crate vec_map;
extern crate bit_set;
pub mod kernel;
pub mod logic;
pub mod propagation;
pub mod propagators;
pub mod term;
pub mod variable;
pub mod search;
pub mod concept;
pub mod model;