Permalink
Cannot retrieve contributors at this time
Name already in use
A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?
CenterStringLP/Outputs/input3.lp
Go to fileThis commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
42 lines (42 sloc)
2.76 KB
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Minimize | |
obj: d | |
Subject To | |
c0: - C0 - A1 - T2 - A3 - C4 - G5 - T6 - A7 - A8 - A9 - A10 - G11 - A12 - A13 - A14 - G15 - G16 - C17 - G18 - G19 - A20 - C21 - A22 - A23 - T24 - d <= - 25 | |
c1: - A0 - A1 - G2 - A3 - G4 - G5 - A6 - A7 - A8 - A9 - A10 - G11 - A12 - A13 - A14 - C15 - G16 - G17 - G18 - G19 - A20 - C21 - A22 - A23 - T24 - d <= - 25 | |
c2: - C0 - A1 - G2 - A3 - G4 - G5 - T6 - A7 - A8 - A9 - A10 - G11 - T12 - A13 - A14 - G15 - G16 - C17 - G18 - G19 - A20 - C21 - T22 - A23 - T24 - d <= - 25 | |
c3: - G0 - A1 - G2 - A3 - G4 - G5 - T6 - A7 - T8 - A9 - A10 - G11 - A12 - A13 - A14 - G15 - C16 - G17 - G18 - G19 - A20 - C21 - A22 - A23 - T24 - d <= - 25 | |
c4: - G0 - A1 - G2 - A3 - G4 - G5 - T6 - A7 - A8 - A9 - A10 - G11 - T12 - A13 - A14 - G15 - G16 - G17 - G18 - G19 - A20 - C21 - A22 - A23 - A24 - d <= - 25 | |
c5: - C0 - A1 - G2 - A3 - G4 - G5 - T6 - A7 - A8 - C9 - A10 - G11 - A12 - A13 - A14 - G15 - G16 - C17 - G18 - G19 - A20 - C21 - G22 - A23 - T24 - d <= - 25 | |
c6: - T0 - A1 - G2 - A3 - G4 - G5 - T6 - A7 - A8 - C9 - A10 - G11 - A12 - A13 - A14 - G15 - C16 - G17 - G18 - G19 - A20 - C21 - A22 - A23 - T24 - d <= - 25 | |
c7: - C0 - A1 - G2 - A3 - C4 - G5 - T6 - T7 - A8 - A9 - A10 - G11 - A12 - A13 - A14 - G15 - G16 - C17 - G18 - G19 - A20 - C21 - A22 - A23 - T24 - d <= - 25 | |
c8: - C0 - C1 - G2 - A3 - G4 - G5 - T6 - A7 - A8 - A9 - A10 - C11 - A12 - A13 - A14 - G15 - G16 - G17 - G18 - A19 - A20 - C21 - A22 - A23 - T24 - d <= - 25 | |
c9: - A0 - A1 - G2 - A3 - G4 - T5 - T6 - A7 - A8 - A9 - A10 - G11 - A12 - A13 - A14 - G15 - G16 - G17 - G18 - G19 - A20 - A21 - A22 - A23 - T24 - d <= - 25 | |
c10: + A0 + C0 + T0 + G0 = 1 | |
c11: + A1 + C1 + T1 + G1 = 1 | |
c12: + A2 + C2 + T2 + G2 = 1 | |
c13: + A3 + C3 + T3 + G3 = 1 | |
c14: + A4 + C4 + T4 + G4 = 1 | |
c15: + A5 + C5 + T5 + G5 = 1 | |
c16: + A6 + C6 + T6 + G6 = 1 | |
c17: + A7 + C7 + T7 + G7 = 1 | |
c18: + A8 + C8 + T8 + G8 = 1 | |
c19: + A9 + C9 + T9 + G9 = 1 | |
c20: + A10 + C10 + T10 + G10 = 1 | |
c21: + A11 + C11 + T11 + G11 = 1 | |
c22: + A12 + C12 + T12 + G12 = 1 | |
c23: + A13 + C13 + T13 + G13 = 1 | |
c24: + A14 + C14 + T14 + G14 = 1 | |
c25: + A15 + C15 + T15 + G15 = 1 | |
c26: + A16 + C16 + T16 + G16 = 1 | |
c27: + A17 + C17 + T17 + G17 = 1 | |
c28: + A18 + C18 + T18 + G18 = 1 | |
c29: + A19 + C19 + T19 + G19 = 1 | |
c30: + A20 + C20 + T20 + G20 = 1 | |
c31: + A21 + C21 + T21 + G21 = 1 | |
c32: + A22 + C22 + T22 + G22 = 1 | |
c33: + A23 + C23 + T23 + G23 = 1 | |
c34: + A24 + C24 + T24 + G24 = 1 | |
Bounds | |
Binaries | |
A0 C0 T0 G0 A1 C1 T1 G1 A2 C2 T2 G2 A3 C3 T3 G3 A4 C4 T4 G4 A5 C5 T5 G5 A6 C6 T6 G6 A7 C7 T7 G7 A8 C8 T8 G8 A9 C9 T9 G9 A10 C10 T10 G10 A11 C11 T11 G11 A12 C12 T12 G12 A13 C13 T13 G13 A14 C14 T14 G14 A15 C15 T15 G15 A16 C16 T16 G16 A17 C17 T17 G17 A18 C18 T18 G18 A19 C19 T19 G19 A20 C20 T20 G20 A21 C21 T21 G21 A22 C22 T22 G22 A23 C23 T23 G23 A24 C24 T24 G24 | |
End |