Folder: 3.9-1.1

package info (click to toggle)

spass 3.9-1.1

links: PTS, VCS
area: main
in suites: bookworm, bullseye, sid, trixie
size: 3,632 kB
sloc: ansic: 59,216; yacc: 1,574; lex: 300; pascal: 158; makefile: 148; sh: 7

			.. (parent)
d	rwxr-xr-x	104	.pc
d	rwxr-xr-x	4,096	debian
-	rw-r--r--	1,535	LICENCE
-	rw-r--r--	36,578	analyze.c
-	rw-r--r--	6,993	analyze.h
-	rw-r--r--	39,246	approx.c
-	rw-r--r--	2,796	approx.h
-	rw-r--r--	15,075	array.c
-	rw-r--r--	4,106	array.h
-	rw-r--r--	2,606	cl.h
-	rw-r--r--	236,522	clause.c
-	rw-r--r--	27,096	clause.h
-	rw-r--r--	6,828	clock.c
-	rw-r--r--	3,058	clock.h
-	rw-r--r--	13,496	closure.c
-	rw-r--r--	2,841	closure.h
-	rw-r--r--	13,317	cmdline.c
-	rw-r--r--	3,273	cmdline.h
-	rw-r--r--	178,384	cnf.c
-	rw-r--r--	4,212	cnf.h
-	rw-r--r--	9,885	component.c
-	rw-r--r--	4,370	component.h
-	rw-r--r--	3,558	condensing.c
-	rw-r--r--	2,804	condensing.h
-	rw-r--r--	45,135	context.c
-	rw-r--r--	13,547	context.h
-	rw-r--r--	47,842	defs.c
-	rw-r--r--	5,737	defs.h
-	rw-r--r--	7,029	description.c
-	rw-r--r--	2,631	description.h
-	rw-r--r--	4,101	dfg.h
-	rw-r--r--	7,226	dfg2ascii.c
-	rw-r--r--	9,167	dfg2dfg.c
-	rw-r--r--	9,118	dfg2dimacs.c
-	rw-r--r--	8,678	dfg2otter.c
-	rw-r--r--	15,178	dfg2tptp.c
-	rw-r--r--	3,309	dfg_diagnostic.c
-	rw-r--r--	2,844	dfg_diagnostic.h
-	rw-r--r--	2,600	dfg_pos.h
-	rw-r--r--	5,436	dfg_string_table.c
-	rw-r--r--	3,230	dfg_string_table.h
-	rw-r--r--	2,694	dfg_token.c
-	rw-r--r--	3,053	dfg_token.h
-	rw-r--r--	3,051	dfg_util.h
-	rw-r--r--	10,066	dfglexer.c
-	rw-r--r--	2,932	dfglexer.h
-	rw-r--r--	159,301	dfgparser.c
-	rw-r--r--	3,294	dfgparser.h
-	rw-r--r--	7,818	dimacs2dfg.c
-	rw-r--r--	5,326	dimparser.c
-	rw-r--r--	2,102	dimparser.h
-	rw-r--r--	10,257	doc-proof.c
-	rw-r--r--	3,506	doc-proof.h
-	rw-r--r--	112,216	eml.c
-	rw-r--r--	6,077	eml.h
-	rw-r--r--	61,507	flags.c
-	rw-r--r--	39,802	flags.h
-	rw-r--r--	83,429	foldfg.c
-	rw-r--r--	6,781	foldfg.h
-	rw-r--r--	2,444	gettimeofday.h
-	rw-r--r--	12,375	graph.c
-	rw-r--r--	3,804	graph.h
-	rw-r--r--	4,905	hash.c
-	rw-r--r--	3,666	hash.h
-	rw-r--r--	11,558	hasharray.c
-	rw-r--r--	4,162	hasharray.h
-	rw-r--r--	22,409	hashmap.c
-	rw-r--r--	4,826	hashmap.h
-	rw-r--r--	2,545	ia.h
-	rw-r--r--	16,425	iaparser.y
-	rw-r--r--	4,427	iascanner.l
-	rw-r--r--	26,311	kbo.c
-	rw-r--r--	3,082	kbo.h
-	rw-r--r--	55,171	list.c
-	rw-r--r--	8,339	list.h
-	rw-r--r--	12,932	makefile
-	rw-r--r--	63,755	memory.c
-	rw-r--r--	9,090	memory.h
-	rw-r--r--	10,912	misc.c
-	rw-r--r--	4,682	misc.h
-	rw-r--r--	54,419	order.c
-	rw-r--r--	5,195	order.h
-	rw-r--r--	9,493	partition.c
-	rw-r--r--	4,786	partition.h
-	rw-r--r--	9,235	pgen.c
-	rw-r--r--	2,497	pro.h
-	rw-r--r--	4,584	prolog2dfg.c
-	rw-r--r--	47,412	proofcheck.c
-	rw-r--r--	3,124	proofcheck.h
-	rw-r--r--	10,997	proparser.y
-	rw-r--r--	4,250	proscanner.l
-	rw-r--r--	8,297	ras.c
-	rw-r--r--	4,108	ras.h
-	rw-r--r--	54,256	renaming.c
-	rw-r--r--	4,442	renaming.h
-	rw-r--r--	12,017	rescmp.c
-	rw-r--r--	6,029	resolution.c
-	rw-r--r--	3,232	resolution.h
-	rw-r--r--	26,576	rpos.c
-	rw-r--r--	3,077	rpos.h
-	rw-r--r--	228,205	rules-inf.c
-	rw-r--r--	4,463	rules-inf.h
-	rw-r--r--	301,987	rules-red.c
-	rw-r--r--	4,173	rules-red.h
-	rw-r--r--	59,291	rules-sort.c
-	rw-r--r--	3,636	rules-sort.h
-	rw-r--r--	26,438	rules-split.c
-	rw-r--r--	3,136	rules-split.h
-	rw-r--r--	14,618	rules-ur.c
-	rw-r--r--	2,493	rules-ur.h
-	rw-r--r--	62,962	search.c
-	rw-r--r--	13,863	search.h
-	rw-r--r--	38,435	sharing.c
-	rw-r--r--	7,036	sharing.h
-	rw-r--r--	55,649	sort.c
-	rw-r--r--	9,055	sort.h
-	rw-r--r--	48,731	st.c
-	rw-r--r--	6,679	st.h
-	rw-r--r--	3,617	stack.c
-	rw-r--r--	3,756	stack.h
-	rw-r--r--	13,124	strings.c
-	rw-r--r--	3,437	strings.h
-	rw-r--r--	21,361	subst.c
-	rw-r--r--	6,526	subst.h
-	rw-r--r--	56,824	subsumption.c
-	rw-r--r--	3,362	subsumption.h
-	rw-r--r--	59,985	symbol.c
-	rw-r--r--	13,512	symbol.h
-	rw-r--r--	15,572	table.c
-	rw-r--r--	4,427	table.h
-	rw-r--r--	39,044	tableau.c
-	rw-r--r--	5,273	tableau.h
-	rw-r--r--	81,108	term.c
-	rw-r--r--	10,225	term.h
-	rw-r--r--	12,752	terminator.c
-	rw-r--r--	2,541	terminator.h
-	rw-r--r--	4,703	tokens.inc
-	rw-r--r--	76,138	top.c
-	rw-r--r--	3,540	tptp.h
-	rw-r--r--	13,415	tptp2dfg.c
-	rw-r--r--	46,834	tptpparser.y
-	rw-r--r--	6,910	tptpscanner.l
-	rw-r--r--	26,581	unify.c
-	rw-r--r--	5,260	unify.h
-	rw-r--r--	6,242	vector.c
-	rw-r--r--	3,732	vector.h
-	rw-r--r--	2,849	version.h