Petrozavodsk State University
Department of Computer Science
T
HE
W
EB-
S
YN
D
IC
S
YSTEM
U
SER
M
ANUAL
Contents
Introduction
Overview
Conventions
Getting Started
Solving a test ANLDE system
Generating a test ANLDE system
Generating and solving a set of ANLDE systems
Reference manual
ANLDE system
ANLDE systems theory
Nonnegative Linear Diophantine Equations
Complexity problems for NLDE systems
NLDE systems, associated with CF-grammars. The syntactic algorithms
ANLDE system format
Algorithms Configuration
Solver limits
Generator Limits
Generator Parameters
Processing a test ANLDE system
Creating ANLDE system
Solving ANLDE system
Saving ANLDE system
Processing a set of ANLDE systems
Loading and solving ANLDE system set
Generating and solving ANLDE system set
Generating and saving ANLDE system set
Server Load
User Session
Server load information
Registration and Log In
User Profile Configuration
Web-SynDic notes
Sysadmin Manual
Logging in as an administrator
User management
Changing constraints
Viewing activity statistics
Installation and Configuration Instructions
Frequently Asked Questions
Glossary
Bibliography
Kirill Kulakov 2005-12-04