Permalink
Browse files

Update to Intervallum v4.4, necessary for multi-domains propagators. …

…Use nightly in Travis. Avoid compiling the search part which is broken for now.
  • Loading branch information...
ptal committed May 27, 2015
1 parent be1158a commit e583a71be4df63dda492f2b008ef681b32cb81c4
Showing with 3 additions and 2 deletions.
  1. +1 −0 .travis.yml
  2. +1 −1 Cargo.toml
  3. +1 −1 src/libpcp/lib.rs
View
@@ -17,6 +17,7 @@ env:
- secure: dIur06XYomBukvYR0aymt8D6YQpTGYvejZtInEmjOdnWziJJZmQ+HuTXMnXrrwFEFSC21uQfgBwhlItwcEzFu1ydx1LlxuUZh8sFjTFFrCWo3hRpyb4JGCAwoNvUZ1/d7MwHjGxjzFtMvnVPyo/wHlE2xgkWHZqmJfDgGkkpBuk=
language: rust
rust: nightly
script:
- cargo build
- cargo test
View
@@ -12,5 +12,5 @@ crate_type = ["rlib", "dylib"]
[dependencies]
intervallum = "^0.4.1"
intervallum = "^0.4.4"
num = "^0.1.24"
View
@@ -28,4 +28,4 @@ pub mod kernel;
pub mod propagators;
pub mod variable;
pub mod solver;
pub mod search;
// pub mod search;

0 comments on commit e583a71

Please sign in to comment.