Search results

Eldarica returns SAT for unsat file

Status: Open.

#72 In uuverifiers/eldarica;

· kensingRichardt opened on Dec 6, 2024

Invalid model bug?

Status: Open.

#66 In uuverifiers/eldarica;

· kensingRichardt opened on Oct 9, 2024

Eldarica misses to emit a parser error

bug

enhancement

front-end

Status: Open.

#60 In uuverifiers/eldarica;

· kensingRichardt opened on Jul 31, 2024

Incorrect model

Status: Open.

#51 In uuverifiers/eldarica;

· AnzhelaSukhanova opened on Apr 28, 2023

Disk-based incremental solving

Status: Open.

#47 In uuverifiers/eldarica;

· leonardoalt opened on May 27, 2022

How is division by 0 handled?

question

Status: Open.

#42 In uuverifiers/eldarica;

· leonardoalt opened on Oct 8, 2021

Printing CHCs after they have been simplified in Eldarica

Status: Open.

#40 In uuverifiers/eldarica;

· sepideha opened on Jun 3, 2021

AssertionError at ModelFinder.scala:298

Status: Open.

#31 In uuverifiers/eldarica;

· rainoftime opened on Jul 29, 2020

AssertionError at HornWrapper.scala:73

Status: Open.

#30 In uuverifiers/eldarica;

· rainoftime opened on Jul 28, 2020

AssertionError at ModelFinder.scala:197

Status: Open.

#29 In uuverifiers/eldarica;

· rainoftime opened on Jul 28, 2020

AssertionError at Predef.scala:156 (HornWrapper.scala:102)

Status: Open.

#26 In uuverifiers/eldarica;

· rainoftime opened on Jul 16, 2020

AssertionError at Predef.scala:156 (Polynomial.scala:580)

Status: Open.

#24 In uuverifiers/eldarica;

· rainoftime opened on Jul 16, 2020