File: morenmore.cpp

package info (click to toggle)
cadical 2.1.3-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 4,216 kB
  • sloc: cpp: 36,901; ansic: 4,521; sh: 1,770; makefile: 91
file content (21 lines) | stat: -rw-r--r-- 444 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
 
#include "../../src/cadical.hpp"
#include <cassert>
#include <iostream>
using namespace std;
int main () {
  CaDiCaL::Solver solver;
  const int n = 100;
  for (int i = 1; i < n; i++) {
    for (int j = 1; j < i; j++)
      solver.add (-j);
    solver.add (i), solver.add (0);
  }
  int res = solver.solve ();
  assert (res == 10);
  for (int i = 1; i < n; i++) {
    res = solver.val (i);
    assert (res > 0);
  }
  (void) res;
  return 0;
}