Re: help with a logic algorithm

Liste des GroupesRevenir à cl c  
Sujet : Re: help with a logic algorithm
De : janis_papanagnou+ng (at) *nospam* hotmail.com (Janis Papanagnou)
Groupes : comp.lang.c
Date : 03. Apr 2024, 07:46:25
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <uuiu02$3p4ch$1@dont-email.me>
References : 1
User-Agent : Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.8.0
On 02.04.2024 22:53, Thiago Adams wrote:
I need an algorithm that finds the possible states of variables used in
"ifs"
 
for instance, I need to find out possible states:
 
[examples snipped]
 
I think this algorithm may already exists.. but not finding it.
Maybe something related with predicates.

Are you maybe looking for SAT solvers[*]?

There's also free software available, but I don't recall its name.

Janis

[*] https://logic4free.informatik.uni-kiel.de/llocs/SAT_solvers


Date Sujet#  Auteur
2 Apr 24 * help with a logic algorithm13Thiago Adams
3 Apr 24 +* Re: help with a logic algorithm3Thiago Adams
3 Apr 24 i+- Re: help with a logic algorithm1jak
3 Apr 24 i`- Re: help with a logic algorithm1Thiago Adams
3 Apr 24 +- Re: help with a logic algorithm1Janis Papanagnou
3 Apr 24 +* Re: help with a logic algorithm5Anton Shepelev
3 Apr 24 i+- Re: help with a logic algorithm1Thiago Adams
3 Apr 24 i`* Re: help with a logic algorithm3Thiago Adams
4 Apr 24 i `* Re: help with a logic algorithm2Paul
5 Apr 24 i  `- Re: help with a logic algorithm1Anton Shepelev
4 Apr 24 `* Re: help with a logic algorithm3jak
4 Apr 24  `* Re: help with a logic algorithm2Thiago Adams
7 Apr 24   `- Re: help with a logic algorithm1Anton Shepelev

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal