TALP

TALP: A tool for the termination analysis of logic programs

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element