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 6 line context
1 1 
if WANT_TOOLS
2 2 

			




	3
	3
	
		
bin_PROGRAMS += \


			




	
	4
	
		
	tools/dimacs-solver \


			




	4
	5
	
		
	tools/dimacs-to-lgf \


			




	5
	6
	
		
	tools/lgf-gen


			




	6
	7
	
		

			




	...
	...
	
		
@@ -8,5 +9,6 @@


			




	8
	9
	
		

			




	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
                  6 line context
                

                
                  
                
            

        

        

            

            



	
	
	
		
modified binary file

			




        

    






    
    



    


    

     
    
0 comments (0 inline)