Skip to content

Commit

Permalink
Add license headers (#4)
Browse files Browse the repository at this point in the history
  • Loading branch information
odow authored May 2, 2022
1 parent 5d3e081 commit 3852adc
Show file tree
Hide file tree
Showing 5 changed files with 23 additions and 3 deletions.
2 changes: 1 addition & 1 deletion LICENSE
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
MIT License

Copyright (c) 2021 Thibaut Cuvelier
Copyright (c) 2021 Thibaut Cuvelier and contributors

Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"), to deal
Expand Down
5 changes: 5 additions & 0 deletions src/Chuffed.jl
Original file line number Diff line number Diff line change
@@ -1,3 +1,8 @@
# Copyright (c) 2021 Thibaut Cuvelier and contributors
#
# Use of this source code is governed by an MIT-style license that can be found
# in the LICENSE.md file or at https://opensource.org/licenses/MIT.

module Chuffed

import ConstraintProgrammingExtensions
Expand Down
9 changes: 7 additions & 2 deletions test/MOI.jl
Original file line number Diff line number Diff line change
@@ -1,7 +1,12 @@
# Copyright (c) 2021 Thibaut Cuvelier and contributors
#
# Use of this source code is governed by an MIT-style license that can be found
# in the LICENSE.md file or at https://opensource.org/licenses/MIT.

@testset "MOI interface" begin
@testset "basic.fzn" begin
model = optimizer(Int)

@test MOI.supports_add_constrained_variable(model, MOI.Integer)
@test MOI.supports_constraint(CP.FlatZinc.Model(), MOI.ScalarAffineFunction{Int}, MOI.LessThan{Int})

Expand All @@ -25,7 +30,7 @@

@testset "Infeasible" begin
model = optimizer(Int)

@test MOI.supports_add_constrained_variable(model, MOI.Integer)
@test MOI.supports_constraint(CP.FlatZinc.Model(), MOI.ScalarAffineFunction{Int}, MOI.LessThan{Int})

Expand Down
5 changes: 5 additions & 0 deletions test/chuffed.jl
Original file line number Diff line number Diff line change
@@ -1,3 +1,8 @@
# Copyright (c) 2021 Thibaut Cuvelier and contributors
#
# Use of this source code is governed by an MIT-style license that can be found
# in the LICENSE.md file or at https://opensource.org/licenses/MIT.

# TODO: move the samples to CP?? Not all solvers will understand all FZN files :/.
@testset "Sanity check for Chuffed" begin
@testset "basic.fzn" begin
Expand Down
5 changes: 5 additions & 0 deletions test/runtests.jl
Original file line number Diff line number Diff line change
@@ -1,3 +1,8 @@
# Copyright (c) 2021 Thibaut Cuvelier and contributors
#
# Use of this source code is governed by an MIT-style license that can be found
# in the LICENSE.md file or at https://opensource.org/licenses/MIT.

using Chuffed
using MathOptInterface
using ConstraintProgrammingExtensions
Expand Down

0 comments on commit 3852adc

Please sign in to comment.