You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Branch: master

master

v0.4.0-beta.1

v0.4.0-beta.2

v0.4.0-beta.3

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from 'master'

${ noResults }

anthem-rs/src

History

Patrick Lühne a81da75306 Add graph coloring example		1 year ago
..
commands	Accept more than one specification file	1 year ago
input	Show all predicates used in specification by default	1 year ago
output	Add option to specify output color choice	1 year ago
problem	Require supertight programs for backward proof	1 year ago
translate	Implement tightness check	1 year ago
utils	Check that only input predicates are used in assumptions	1 year ago
ast.rs	Allow U, V, and W for program variables	1 year ago
commands.rs	Implement proof mechanism	2 years ago
error.rs	Improve error message	1 year ago
input.rs	Work in progress	2 years ago
lib.rs	Use custom foliage flavor	1 year ago
main.rs	Make bidirectional proof the default	1 year ago
output.rs	Add option to specify output color choice	1 year ago
problem.rs	Improve wording in status output	1 year ago
simplify.rs	Add simplification rule	1 year ago
translate.rs	Refactoring to support TPTP output	2 years ago
utils.rs	Check that only input predicates are used in assumptions	1 year ago