Skip to content
GitLab
Explore
Sign in
SAT4J
sat4j
Repository
sat4j
..
constraints3
ConnectionCtrBuilder.java
Find file
Blame
History
Permalink
Added some constraints.
· 4f81cb7a
Lonca Emmanuel
authored
Jun 09, 2017
Added another kind of "channel" constraint, and a first "circuit" constraint.
4f81cb7a