nu-smv 2.6.0 (new formula)

Closes #32876.

Signed-off-by: FX Coudert <fxcoudert@gmail.com>

Formula/nu-smv.rb

@@ -0,0 +1,25 @@
+class NuSmv < Formula
+  desc "Reimplementation and extension of SMV symbolic model checker"
+  homepage "http://nusmv.fbk.eu"
+  url "http://nusmv.fbk.eu/distrib/NuSMV-2.6.0.tar.gz"
+  sha256 "dba953ed6e69965a68cd4992f9cdac6c449a3d15bf60d200f704d3a02e4bbcbb"
+
+  depends_on "cmake" => :build
+
+  def install
+    mkdir "NuSMV/build" do
+      system "cmake", "..", *std_cmake_args
+      system "make", "install"
+    end
+  end
+
+  test do
+    (testpath/"test.smv").write <<~EOS
+      MODULE main
+      SPEC TRUE = TRUE
+    EOS
+
+    output = shell_output("#{bin}/NuSMV test.smv")
+    assert_match "specification TRUE = TRUE  is true", output
+  end
+end