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
Show white space 2 line context
... ... 
@@ -3,2 +3,3 @@
3 3 
bin_PROGRAMS += \
4 
	tools/dimacs-solver \
4 5 
	tools/dimacs-to-lgf \
... ... 
@@ -10,2 +11,3 @@
10 11 

			




	
	12
	
		
tools_dimacs_solver_SOURCES = tools/dimacs-solver.cc


			




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

			




        

    

    

    

        

            

                

                    tools/dimacs-solver.cc
                

                

                  
                  
                  
                  Show white space
                  2 line context
                

                
                  
                
            

        

        

            

            



	
	
	
		
modified binary file

			




        

    






    
    



    


    

     
    
0 comments (0 inline)