Changeset - r573:28b154307c0d
« 572:635a83
574:c458e0 »
gravatar
alpar (Alpar Juttner)
alpar@cs.elte.hu
DIMACS solver utility (#226)
0 1 1
default
2 files changed with 2 insertions and 0 deletions:
tools/Makefile.am
2
tools/dimacs-solver.cc
bin
bin
↑ Collapse diff ↑
tools/Makefile.am
Ignore white space 4 line context
... ... 
@@ -2,4 +2,5 @@
2 2 

			




	3
	3
	
		
bin_PROGRAMS += \


			




	
	4
	
		
	tools/dimacs-solver \


			




	4
	5
	
		
	tools/dimacs-to-lgf \


			




	5
	6
	
		
	tools/lgf-gen


			




	...
	...
	
		
@@ -9,4 +10,5 @@


			




	9
	10
	
		
endif WANT_TOOLS


			




	10
	11
	
		

			




	
	12
	
		
tools_dimacs_solver_SOURCES = tools/dimacs-solver.cc


			




	11
	13
	
		
tools_dimacs_to_lgf_SOURCES = tools/dimacs-to-lgf.cc


			




	12
	14
	
		
tools_lgf_gen_SOURCES = tools/lgf-gen.cc

			




        

    

    

    

        

            

                

                    tools/dimacs-solver.cc
                

                

                  
                  
                  
                  Ignore white space
                  4 line context
                

                
                  
                
            

        

        

            

            



	
	
	
		
modified binary file

			




        

    






    
    



    


    

     
    
0 comments (0 inline)