all options
jessie  ] [  sid  ]
[ Source:  ]

Package: mace2 (3.3f-1.1) [debports]

Links for mace2

Screenshot

Debian Resources:

Download Source Package :

Not found

Maintainers:

Similar packages:

program som søger efter finitte modeller for førstegradsudtryk

MACE er et program som søger i finitte modeller for førstegradsudtryk og ligningsmæssige udtryk. Det udvikles af Argonne National Laboratory.

Denne pakke inkluderer ANLDP, som kalder den udsagnsmæssige beslutningsprocedure direkte i kernen af MACE.

MACE fungerer som komplementær følgesvend til OTTER, som søger efter gendrivelser af den samme klasse af udtryk. Specielt hvis du har en førstegradsformodning vil OTTER søge efter et bevis, og MACE vil søge for et modeksempel fra den samme inddatafil.

Other Packages Related to mace2

  • depends
  • recommends
  • suggests
  • enhances

Download mace2

Download for all available architectures
Architecture Package Size Installed Size Files
arm64 (unofficial port) 331.4 kB1,062.0 kB [list of files]