diff options
Diffstat (limited to 'src/main/scala/firrtl/backends/experimental/smt/SMTExpr.scala')
| -rw-r--r-- | src/main/scala/firrtl/backends/experimental/smt/SMTExpr.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/scala/firrtl/backends/experimental/smt/SMTExpr.scala b/src/main/scala/firrtl/backends/experimental/smt/SMTExpr.scala index ebb9e309..63692006 100644 --- a/src/main/scala/firrtl/backends/experimental/smt/SMTExpr.scala +++ b/src/main/scala/firrtl/backends/experimental/smt/SMTExpr.scala @@ -1,4 +1,4 @@ -// See LICENSE for license details. +// SPDX-License-Identifier: Apache-2.0 // Author: Kevin Laeufer <laeufer@cs.berkeley.edu> // Inspired by the uclid5 SMT library (https://github.com/uclid-org/uclid). // And the btor2 documentation (BTOR2 , BtorMC and Boolector 3.0 by Niemetz et.al.) |