search

biotomas / ipasir

The Standard Interface for Incremental Satisfiability Solving
Other
47 stars 14 forks source link

System doesn't fix MiniSat bug and fails to add -fpermissive #12

Closed msoos closed 4 years ago

msoos commented 4 years ago

The system doesn't fix the MiniSat bug related to the well-known buggy friend declaration:

In file included from ./minisat/core/Solver.h:29,
                 from minisat/core/Solver.cc:26:
./minisat/core/SolverTypes.h:55:16: error: friend declaration of ‘Minisat::Lit mkLit(Minisat::Var, bool)’ specifies default arguments and isn’t a definition [-fpermissive]
   55 |     friend Lit mkLit(Var var, bool sign = false);

It also fails to add the -fpermissive flag, so the compilation fails. Please fix as soon as possible so I can compete in the 2020 competition. Thanks!