BacktrackKit/read.g at master · wucas/BacktrackKit · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
#
# BacktrackKit: An Extensible, easy to understand backtracking framework
#
# Reading the implementation part of the package.
#

ReadPackage( "BacktrackKit", "gap/tracer.gi");
ReadPackage( "BacktrackKit", "gap/partitionstack.gi");

# A Store of the BTKit constraints
BTKit_Con := AtomicRecord(rec());

# Private members
_BTKit := AtomicRecord(rec());

ReadPackage( "BacktrackKit", "gap/BacktrackKit.gi");
ReadPackage( "BacktrackKit", "gap/constraints/util.g");
ReadPackage( "BacktrackKit", "gap/constraint.gi");
ReadPackage( "BacktrackKit", "gap/constraints/simpleconstraints.g");
ReadPackage( "BacktrackKit", "gap/constraints/conjugacyexample.g");
ReadPackage( "BacktrackKit", "gap/constraints/graphconstraints.g");
ReadPackage( "BacktrackKit", "gap/constraints/tree/tree.g");