cancel
Showing results for 
Show  only  | Search instead for 
Did you mean: 
  • JMP will suspend normal business operations for our Winter Holiday beginning on Wednesday, Dec. 24, 2025, at 5:00 p.m. ET (2:00 p.m. ET for JMP Accounts Receivable).
    Regular business hours will resume at 9:00 a.m. EST on Friday, Jan. 2, 2026.
  • We’re retiring the File Exchange at the end of this year. The JMP Marketplace is now your destination for add-ins and extensions.

Discussions

Solve problems, and share tips and tricks with other JMP users.
Choose Language Hide Translation Bar
Olaf
Level I

Satisfiability Modulo Theories (SMT)

Hello,

is there any support for "satisfiability modulo theories" in JMP or are there any Solvers available to help Software developers create software testing plans?

Best Olaf

1 ACCEPTED SOLUTION

Accepted Solutions

Re: Satisfiability Modulo Theories (SMT)

3 REPLIES 3

Re: Satisfiability Modulo Theories (SMT)

JMP Pro provides Covering Arrays.

Olaf
Level I

Re: Satisfiability Modulo Theories (SMT)

Thank you Mark,

Covering array are quite useful if all variables are independent of each other.

I am looking for testing situations where  factor restrictions have to be considered.

Best Olaf

Re: Satisfiability Modulo Theories (SMT)

You can define factor constraints in the Covering Array platform. Did you read the chapter about this platform?

Recommended Articles