diff --git a/ChangeLog b/ChangeLog
index 92cca9619..4ce1c8f9f 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,10 @@
 2003-05-26  Alexandre Duret-Lutz  <aduret@src.lip6.fr>
 
+	* src/Makefile.am (SUBDIRS): Add tgbaalgos.
+	(libspot_la_LIBADD): Add tgba/libtgbaalgos.
+	* src/tgbaalgos/Makefile.am: New file.
+	* configure.ac: Output src/tgbaalgos/Makefile.
+
 	* src/tgba/bddprint.hh, src/tgba/bddprint.cc: New files.
 	* src/tgba/Makefile.am (libtgba_la_SOURCES): Add them.
 	* src/tgba/public.hh: Include bddprint.hh.
@@ -20,6 +25,7 @@
 
 	* src/Makefile.am (SUBDIRS): Add tgba.
 	(libspot_la_LIBADD): Add tgba/libtgba.la.
+	* configure.ac: Output src/tgba/Makefile.
 	* src/tgba/Makefile.am, src/tgba/bddfactory.cc,
 	src/tgba/bddfactory.hh, src/tgba/dictunion.cc,
 	src/tgba/dictunion.hh, src/tgba/ltl2tgba.cc, src/tgba/ltl2tgba.hh,
diff --git a/configure.ac b/configure.ac
index c792f2b8f..06e21d761 100644
--- a/configure.ac
+++ b/configure.ac
@@ -32,6 +32,7 @@ AC_CONFIG_FILES([
   src/ltltest/defs
   src/ltlvisit/Makefile
   src/tgba/Makefile
+  src/tgbaalgos/Makefile
   src/misc/Makefile
   wrap/Makefile
 ])
diff --git a/src/Makefile.am b/src/Makefile.am
index dfe45f213..b11bd5e25 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -1,7 +1,7 @@
 AUTOMAKE_OPTIONS = subdir-objects
 
 # List directories in the order they must be built.
-SUBDIRS = misc ltlenv ltlast ltlvisit ltlparse ltltest tgba
+SUBDIRS = misc ltlenv ltlast ltlvisit ltlparse ltltest tgba tgbaalgos
 
 lib_LTLIBRARIES = libspot.la
 libspot_la_SOURCES =
@@ -10,4 +10,5 @@ libspot_la_LIBADD =  \
   ltlparse/libltlparse.la \
   ltlvisit/libltlvisit.la \
   ltlast/libltlast.la \
-  tgba/libtgba.la
+  tgba/libtgba.la \
+  tgbaalgos/libtgbaalgos.la
diff --git a/src/tgbaalgos/.cvsignore b/src/tgbaalgos/.cvsignore
new file mode 100644
index 000000000..799fc9785
--- /dev/null
+++ b/src/tgbaalgos/.cvsignore
@@ -0,0 +1,6 @@
+.deps
+.libs
+*.lo
+*.la
+Makefile
+Makefile.in
diff --git a/src/tgbaalgos/Makefile.am b/src/tgbaalgos/Makefile.am
new file mode 100644
index 000000000..12aabff32
--- /dev/null
+++ b/src/tgbaalgos/Makefile.am
@@ -0,0 +1,5 @@
+AM_CPPFLAGS = -I$(srcdir)/..
+AM_CXXFLAGS = $(WARNING_CXXFLAGS)
+
+noinst_LTLIBRARIES = libtgbaalgos.la
+libtgbaalgos_la_SOURCES =