cancel
Turn on suggestions
Auto-suggest helps you quickly narrow down your search results by suggesting possible matches as you type.
Showing results for 
Show  only  | Search instead for 
Did you mean: 
Try the Materials Informatics Toolkit, which is designed to easily handle SMILES data. This and other helpful add-ins are available in the JMP® Marketplace
Choose Language Hide Translation Bar
Olaf
Olaf
Level I

Satisfiability Modulo Theories (SMT)

Jul 4, 2024 03:32 PM (747 views)

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

0 Kudos
1 ACCEPTED SOLUTION

Accepted Solutions
Mark_Bailey
Staff Mark_Bailey
Staff
Solution

Re: Satisfiability Modulo Theories (SMT)

Jul 4, 2024 04:10 PM (738 views)  |  Posted in reply to message from Olaf 07-04-2024

JMP Pro provides Covering Arrays.

View solution in original post

0 Kudos
3 REPLIES 3
Mark_Bailey
Staff Mark_Bailey
Staff
Solution

Re: Satisfiability Modulo Theories (SMT)

Jul 4, 2024 04:10 PM (739 views)  |  Posted in reply to message from Olaf 07-04-2024

JMP Pro provides Covering Arrays.

0 Kudos
Olaf
Olaf
Level I

Re: Satisfiability Modulo Theories (SMT)

Jul 4, 2024 04:26 PM (724 views)  |  Posted in reply to message from Mark_Bailey 07-04-2024

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

0 Kudos
Mark_Bailey
Staff Mark_Bailey
Staff

Re: Satisfiability Modulo Theories (SMT)

Jul 5, 2024 10:59 AM (659 views)  |  Posted in reply to message from Olaf 07-04-2024

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

0 Kudos