Tiago Gomes
							
						 
					 | 
					
						
						
							
						
						8c8e2b034f
					 | 
					
						
						
							
							Improve a bit the learning examples
						
						
						
						
						
						
					 | 
					
						2013-01-11 00:16:56 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Tiago Gomes
							
						 
					 | 
					
						
						
							
						
						8f9b11cc7c
					 | 
					
						
						
							
							Comment set_em_solver so that hve becomes that default
						
						
						
						
						
						
					 | 
					
						2013-01-10 23:04:17 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Tiago Gomes
							
						 
					 | 
					
						
						
							
						
						4aa4cb50b0
					 | 
					
						
						
							
							Switch solver order in examples
						
						
						
						
						
						
					 | 
					
						2013-01-10 23:02:34 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vitor Santos Costa
							
						 
					 | 
					
						
						
							
						
						b7ef6576a6
					 | 
					
						
						
							
							add keys within learning
						
						
						
						
						
						
					 | 
					
						2013-01-09 18:34:19 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Tiago Gomes
							
						 
					 | 
					
						
						
							
						
						f1499f99f3
					 | 
					
						
						
							
							Introduce set_em_solver and use it
						
						
						
						
						
						
					 | 
					
						2012-12-17 21:19:47 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Tiago Gomes
							
						 
					 | 
					
						
						
							
						
						eea7ce2885
					 | 
					
						
						
							
							Fix file names
						
						
						
						
						
						
					 | 
					
						2012-12-13 19:02:04 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Tiago Gomes
							
						 
					 | 
					
						
						
							
						
						48413deae7
					 | 
					
						
						
							
							Ops: deleted this by accident in the previous commit
						
						
						
						
						
						
					 | 
					
						2012-12-13 14:08:16 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Tiago Gomes
							
						 
					 | 
					
						
						
							
						
						dd8a92aaf3
					 | 
					
						
						
							
							Merge with upstream code
						
						
						
						
						
						
					 | 
					
						2012-12-13 12:55:55 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Tiago Gomes
							
						 
					 | 
					
						
						
							
						
						39bf95fe2b
					 | 
					
						
						
							
							trivial
						
						
						
						
						
						
					 | 
					
						2012-12-12 16:28:18 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Tiago Gomes
							
						 
					 | 
					
						
						
							
						
						e66ff6777c
					 | 
					
						
						
							
							Be consistent: constraint is always on top
						
						
						
						
						
						
					 | 
					
						2012-12-12 15:41:41 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Tiago Gomes
							
						 
					 | 
					
						
						
							
						
						66cd58655b
					 | 
					
						
						
							
							Place the debug_school predicate into a different file
						
						
						
						
						
						
					 | 
					
						2012-12-12 15:36:38 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Tiago Gomes
							
						 
					 | 
					
						
						
							
						
						01dfc5e2be
					 | 
					
						
						
							
							Change extension of school_params
						
						
						
						
						
						
						
						school_params does not define any pfl network, so it shouldn't have pfl as the extension 
						
						
					 | 
					
						2012-12-12 15:26:49 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Tiago Gomes
							
						 
					 | 
					
						
						
							
						
						108e310a0f
					 | 
					
						
						
							
							Rework the learning examples
						
						
						
						
						
						
					 | 
					
						2012-12-12 15:16:30 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Tiago Gomes
							
						 
					 | 
					
						
						
							
						
						4310e42562
					 | 
					
						
						
							
							rework examples
						
						
						
						
						
						
					 | 
					
						2012-12-11 23:06:09 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						e529e79582
					 | 
					
						
						
							
							more progress
						
						
						
						
						
						
					 | 
					
						2012-11-27 12:10:41 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						ab14365a30
					 | 
					
						
						
							
							try to make bdds work with EM.
						
						
						
						
						
						
					 | 
					
						2012-10-03 10:23:27 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						85e9da1332
					 | 
					
						
						
							
							hve with em works now.
						
						
						
						
						
						
					 | 
					
						2012-10-02 08:49:16 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						793907f710
					 | 
					
						
						
							
							more EM stuff
						
						
						
						
						
						
					 | 
					
						2012-09-29 11:50:00 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Costa Vitor
							
						 
					 | 
					
						
						
							
						
						a76f4f34d5
					 | 
					
						
						
							
							make EM work with PFL and BP.
						
						
						
						
						
						
					 | 
					
						2012-08-15 16:01:45 -05:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vítor Santos Costa
							
						 
					 | 
					
						
						
							
						
						7e8cac9fb1
					 | 
					
						
						
							
							a step forward.
						
						
						
						
						
						
					 | 
					
						2012-08-13 09:23:36 -05:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Costa Vitor
							
						 
					 | 
					
						
						
							
						
						4756948967
					 | 
					
						
						
							
							fix processing of pfl ground networks.
						
						
						
						
						
						
					 | 
					
						2012-08-08 22:16:37 -05:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vitor Santos Costa
							
						 
					 | 
					
						
						
							
						
						c67edd877a
					 | 
					
						
						
							
							learning is debugging
						
						
						
						
						
						
					 | 
					
						2012-07-03 19:48:13 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Vitor Santos Costa
							
						 
					 | 
					
						
						
							
						
						87e0b67e76
					 | 
					
						
						
							
							start with pfl learning.
						
						
						
						
						
						
					 | 
					
						2012-06-22 19:00:12 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 |