simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-08 20:25:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge branch 'master' of github.com:Gbury/mSAT

Browse source
This commit is contained in:
Guillaume Bury 2018-07-24 23:02:59 +02:00
commit 8cdfe65048
5 changed files with 10 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
tests/pigeon/hole10.cnf
View file

@ -2,8 +2,8 @@ c File: hole10.cnf
c
c SOURCE: John Hooker (jh38+@andrew.cmu.edu)
c
c DESCRIPTION: Pigeon hole problem of placing n (for file holen) pigeons
c in n+1 holes without placing 2 pigeons in the same hole
c DESCRIPTION: Pigeon hole problem of placing n+1 (for file holen) pigeons
c in n holes without placing 2 pigeons in the same hole
c
c NOTE: Part of the collection at the Forschungsinstitut fuer
c anwendungsorientierte Wissensverarbeitung in Ulm Germany.

4
tests/pigeon/hole6.cnf
View file

@ -2,8 +2,8 @@ c File: hole6.cnf
c
c SOURCE: John Hooker (jh38+@andrew.cmu.edu)
c
c DESCRIPTION: Pigeon hole problem of placing n (for file holen) pigeons
c in n+1 holes without placing 2 pigeons in the same hole
c DESCRIPTION: Pigeon hole problem of placing n+1 (for file holen) pigeons
c in n holes without placing 2 pigeons in the same hole
c
c NOTE: Part of the collection at the Forschungsinstitut fuer
c anwendungsorientierte Wissensverarbeitung in Ulm Germany.

4
tests/pigeon/hole7.cnf
View file

@ -2,8 +2,8 @@ c File: hole7.cnf
c
c SOURCE: John Hooker (jh38+@andrew.cmu.edu)
c
c DESCRIPTION: Pigeon hole problem of placing n (for file holen) pigeons
c in n+1 holes without placing 2 pigeons in the same hole
c DESCRIPTION: Pigeon hole problem of placing n+1 (for file holen) pigeons
c in n holes without placing 2 pigeons in the same hole
c
c NOTE: Part of the collection at the Forschungsinstitut fuer
c anwendungsorientierte Wissensverarbeitung in Ulm Germany.

4
tests/pigeon/hole8.cnf
View file

@ -2,8 +2,8 @@ c File: hole8.cnf
c
c SOURCE: John Hooker (jh38+@andrew.cmu.edu)
c
c DESCRIPTION: Pigeon hole problem of placing n (for file holen) pigeons
c in n+1 holes without placing 2 pigeons in the same hole
c DESCRIPTION: Pigeon hole problem of placing n+1 (for file holen) pigeons
c in n holes without placing 2 pigeons in the same hole
c
c NOTE: Part of the collection at the Forschungsinstitut fuer
c anwendungsorientierte Wissensverarbeitung in Ulm Germany.

4
tests/pigeon/hole9.cnf
View file

@ -2,8 +2,8 @@ c File: hole9.cnf
c
c SOURCE: John Hooker (jh38+@andrew.cmu.edu)
c
c DESCRIPTION: Pigeon hole problem of placing n (for file holen) pigeons
c in n+1 holes without placing 2 pigeons in the same hole
c DESCRIPTION: Pigeon hole problem of placing n+1 (for file holen) pigeons
c in n holes without placing 2 pigeons in the same hole
c
c NOTE: Part of the collection at the Forschungsinstitut fuer
c anwendungsorientierte Wissensverarbeitung in Ulm Germany.