org.sosy_lab.java_smt.api.SolverException Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of java-smt Show documentation

Unified acccess layer to SMT solvers

The newest version!

// This file is part of JavaSMT,
// an API wrapper for a collection of SMT solvers:
// https://github.com/sosy-lab/java-smt
//
// SPDX-FileCopyrightText: 2020 Dirk Beyer 
//
// SPDX-License-Identifier: Apache-2.0

package org.sosy_lab.java_smt.api;

import org.checkerframework.checker.nullness.qual.Nullable;

/** Exception thrown if there is an error during SMT solving. */
public class SolverException extends Exception {

  private static final long serialVersionUID = -1557936144555925180L;

  public SolverException(@Nullable String msg) {
    super(msg);
  }

  public SolverException(@Nullable String msg, @Nullable Throwable t) {
    super(msg, t);
  }
}