| Name : perl-Acme-Test-LogicalEquivalence
| |
| Version : 0.001
| Vendor : obs://build_opensuse_org/devel:languages:perl
|
| Release : lp155.1.1
| Date : 2023-07-20 18:01:08
|
| Group : Development/Libraries/Perl
| Source RPM : perl-Acme-Test-LogicalEquivalence-0.001-lp155.1.1.src.rpm
|
| Size : 0.03 MB
| |
| Packager : https://www_suse_com/
| |
| Summary : Test if expressions are logically equivalent
|
Description :
Some expressions are \"logically equivalent\" to other expressions, but it
may not be easy to tell if one or both of the expressions are reasonably
complicated. Or maybe you\'re like many other people and are too lazy to go
through the effort... Either way, why not let your computer prove logical
equivalence for you?
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/perl:/CPAN-A/15.5/noarch |
