File tree 5 files changed +23
-3
lines changed
5 files changed +23
-3
lines changed Original file line number Diff line number Diff line change 1
1
MIT License
2
2
3
- Copyright (c) 2021 Thibaut Cuvelier
3
+ Copyright (c) 2021 Thibaut Cuvelier and contributors
4
4
5
5
Permission is hereby granted, free of charge, to any person obtaining a copy
6
6
of this software and associated documentation files (the "Software"), to deal
Original file line number Diff line number Diff line change
1
+ # Copyright (c) 2021 Thibaut Cuvelier and contributors
2
+ #
3
+ # Use of this source code is governed by an MIT-style license that can be found
4
+ # in the LICENSE.md file or at https://opensource.org/licenses/MIT.
5
+
1
6
module Chuffed
2
7
3
8
import ConstraintProgrammingExtensions
Original file line number Diff line number Diff line change
1
+ # Copyright (c) 2021 Thibaut Cuvelier and contributors
2
+ #
3
+ # Use of this source code is governed by an MIT-style license that can be found
4
+ # in the LICENSE.md file or at https://opensource.org/licenses/MIT.
5
+
1
6
@testset " MOI interface" begin
2
7
@testset " basic.fzn" begin
3
8
model = optimizer (Int)
4
-
9
+
5
10
@test MOI. supports_add_constrained_variable (model, MOI. Integer)
6
11
@test MOI. supports_constraint (CP. FlatZinc. Model (), MOI. ScalarAffineFunction{Int}, MOI. LessThan{Int})
7
12
25
30
26
31
@testset " Infeasible" begin
27
32
model = optimizer (Int)
28
-
33
+
29
34
@test MOI. supports_add_constrained_variable (model, MOI. Integer)
30
35
@test MOI. supports_constraint (CP. FlatZinc. Model (), MOI. ScalarAffineFunction{Int}, MOI. LessThan{Int})
31
36
Original file line number Diff line number Diff line change
1
+ # Copyright (c) 2021 Thibaut Cuvelier and contributors
2
+ #
3
+ # Use of this source code is governed by an MIT-style license that can be found
4
+ # in the LICENSE.md file or at https://opensource.org/licenses/MIT.
5
+
1
6
# TODO : move the samples to CP?? Not all solvers will understand all FZN files :/.
2
7
@testset " Sanity check for Chuffed" begin
3
8
@testset " basic.fzn" begin
Original file line number Diff line number Diff line change
1
+ # Copyright (c) 2021 Thibaut Cuvelier and contributors
2
+ #
3
+ # Use of this source code is governed by an MIT-style license that can be found
4
+ # in the LICENSE.md file or at https://opensource.org/licenses/MIT.
5
+
1
6
using Chuffed
2
7
using MathOptInterface
3
8
using ConstraintProgrammingExtensions
You can’t perform that action at this time.
0 commit comments